Antoine2711 3ab1b8761c Adjustement of the button images ... Adjustement of the button images, good pictures are now shown.		2020-04-16 14:20:09 -04:00
..
externals	Remove unused suggest-4_3.min.js	2019-12-24 10:39:18 +01:00
images	Improvement of the button :hover	2020-04-16 13:45:20 -04:00
langs	First implementation of minimize facets	2020-04-16 03:26:47 -04:00
MOD-INF	Fix TSV mediatype & add support for atom+xml and .ntriples (#2535)	2020-04-12 21:26:31 +02:00
scripts	Spacing adjustment	2020-04-16 14:07:18 -04:00
styles	Adjustement of the button images	2020-04-16 14:20:09 -04:00
about.html	Delete old logos and rename new logos	2018-02-08 13:04:35 +08:00
error.vt	Delete old logos and rename new logos	2018-02-08 13:04:35 +08:00
index.vt	Delete old logos and rename new logos	2018-02-08 13:04:35 +08:00
macros.vm	Converted project.html to project.vt and added a client side resource manager, where extensions can register scripts and styles to be included in .vt files	2010-06-15 00:35:23 +00:00
preferences.vt	Delete old logos and rename new logos	2018-02-08 13:04:35 +08:00
project.vt	Delete old logos and rename new logos	2018-02-08 13:04:35 +08:00