Michael Muré cea3319619 extract images from the css file		2014-05-08 15:39:54 +02:00
..
banner.png	Page banner modification.	2014-04-03 21:01:57 +02:00
banner_beta.png	Page banner modification.	2014-04-03 21:01:57 +02:00
busy.gif	extract images from the css file	2014-05-08 15:39:54 +02:00
diamonds.png	Page’s stylesheet update.	2014-03-10 20:28:22 +01:00
foldinginstructions.png	add an image for folding instruction, fix some texts	2014-03-31 23:44:32 +02:00
minus.png	extract images from the css file	2014-05-08 15:39:54 +02:00
overview.png	add a frontpage image	2014-04-01 00:20:51 +02:00
plus.png	extract images from the css file	2014-05-08 15:39:54 +02:00