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