Ceda EI 20fb7f9bc2 Merge upstream new version		2021-08-25 00:16:57 +05:30
..
application.css	Merge upstream new version	2021-08-25 00:16:57 +05:30
application.js	Merge branch 'master' into fix-content-type	2020-10-06 01:18:22 -04:00
application.min.js	Merge branch 'master' into fix-content-type	2020-10-06 01:18:22 -04:00
favicon.ico	Added a favicon	2011-11-29 20:24:53 -05:00
function-icons.png	Redo the UI. Light Theme.	2020-07-16 17:25:37 +05:30
highlight.min.js	Update highlight JS to the most recent version	2020-10-06 00:07:07 -04:00
hover-dropdown-tip.png	Implement redesign of key	2011-11-23 11:31:50 -05:00
index.html	Redo the UI. Light Theme.	2020-07-16 17:25:37 +05:30
jquery.min.js	Serve local jquery. Use tomorrow-night-bright instead of solarized_dark	2019-07-17 16:48:33 +05:30
logo.png	Redo the UI. Light Theme.	2020-07-16 17:25:37 +05:30
robots.txt	Added non-standard but desirable robots.txt	2011-12-16 08:18:04 -05:00
tomorrow.css	Use tomorrow instead of tomorrow-night-bright.	2020-07-15 18:14:33 +05:30