Frederic Junod 7149113ab6 Remove unused files

2015-12-01 15:50:51 +01:00

..

prettify

Rename buildcfg to config

2014-08-22 07:28:05 -06:00

bootstrap.min.js

Rename buildcfg to config

2014-08-22 07:28:05 -06:00

jquery.min.js

Rename buildcfg to config

2014-08-22 07:28:05 -06:00

jquery.min.map

Rename buildcfg to config

2014-08-22 07:28:05 -06:00

linenumber.js

Rename buildcfg to config

2014-08-22 07:28:05 -06:00

main.js

Rename flag to 'stableonly'

2015-04-01 09:26:17 +02:00