Thomas Chandelle b77b5e5a55 Replace the anchor by an empty div element

2016-11-29 17:00:29 +01:00

..

bootstrap.min.css

…

jaguar.css

Replace the anchor by an empty div element

2016-11-29 17:00:29 +01:00

prettify-jsdoc.css

…

prettify-tomorrow.css

…