Marcin Kuzminski bee9b1e921 diffs: fixed other file source when using pull requests. It must use ... other repo for fetching proper commits.		2016-12-06 01:25:54 +01:00
..
css	diffs: added wide-mode button to expand large diffs.	2016-12-06 01:06:05 +01:00
fonts	styling: new icon font fix #3488	2016-10-04 12:03:30 +02:00
images	project: added all source files and assets	2016-05-24 15:56:53 +02:00
js	diffs: fixed other file source when using pull requests. It must use	2016-12-06 01:25:54 +01:00
sounds	project: added all source files and assets	2016-05-24 15:56:53 +02:00
502.html	ux: make static 502 page for gateway error look better, fixes #4202	2016-08-30 19:16:34 +03:00