| .. |
|
brand
|
01dba44238
Remove proprietary icons and stylesheets
|
12 lat temu |
|
coffee
|
19241e571f
Distinguish between inserts and deletes in the entries repeater.
|
10 lat temu |
|
font
|
8715690ce9
Intial open source comment
|
12 lat temu |
|
img
|
b7cf77eb62
Add GitHub-related teaser media.
|
10 lat temu |
|
js
|
eab7d46fc5
update latex syntax validator (e4b016e)
|
10 lat temu |
|
recurly
|
bd52594f23
added new official paypal logo from https://www.paypal.com/uk/webapps/mpp/logo-center
|
12 lat temu |
|
stylesheets
|
e0fbb45844
Add colored borders.
|
10 lat temu |
|
favicon.ico
|
a459a178b3
Retina favicon
|
12 lat temu |
|
humans.txt
|
8715690ce9
Intial open source comment
|
12 lat temu |
|
robots.txt
|
5f719e7105
change robots.txt to ignore all
|
10 lat temu |
|
sharelatex-security.pub
|
2debba6bbc
Update PGP key
|
12 lat temu |
Paulo Reis
e0fbb45844
Add colored borders.