brand
|
Remove proprietary icons and stylesheets
|
2014-02-18 15:55:32 +00:00 |
font
|
Intial open source comment
|
2014-02-12 10:23:40 +00:00 |
img
|
update the search_example.gif
|
2016-02-18 13:54:13 +00:00 |
js
|
Fix parent highlight bug in jquery ui
|
2016-02-11 15:41:56 +00:00 |
stylesheets
|
Add styles for the references search hint.
|
2016-03-03 11:44:11 +00:00 |
favicon.ico
|
Retina favicon
|
2014-07-23 15:56:15 +01:00 |
humans.txt
|
Intial open source comment
|
2014-02-12 10:23:40 +00:00 |
robots.txt
|
change robots.txt to ignore all
|
2016-02-16 12:38:27 +00:00 |
sharelatex-security.pub
|
Update PGP key
|
2014-10-24 11:55:30 +01:00 |