Laurent Destailleur 210d8435da FIX The part added with hidden option MAIN_DOC_USE_TIMING was included ... with a . instead of -. This make os think it is part of extension instead of file name.		2016-03-06 00:39:13 +01:00
..
doc	FIX The part added with hidden option MAIN_DOC_USE_TIMING was included	2016-03-06 00:39:13 +01:00
index.html	Removed index.php and replaced them with blank index.html as it is more appropriate	2014-07-12 23:18:57 +02:00
mod_expedition_ribera.php	Removed closing php tag	2014-05-03 18:18:44 +02:00
mod_expedition_safor.php	More substitutions	2014-06-12 11:31:53 +02:00
modules_expedition.php	Qual: added deprecation hinting	2015-06-01 11:00:11 +02:00