Le service Gitlasso doit être mis à jour cette semaine. Il y aura donc une interruption de service à compter de mardi matin le 11 août 2020 et ce jusqu'à mercredi en fin de journée. Désolé pour les inconvénients que cet arrêt occasionne. James

Commit ddffb6105c281d6e89041277a9d78f1eb52db8d2

Authored by Marion Bandet
1 parent f3c0aa27
Exists in master

change in index.rst

Showing 1 changed file with 0 additions and 3 deletions   Show diff stats
source/index.rst
... ... @@ -18,9 +18,6 @@ List of experiments
18 18  
19 19  
20 20  
21   -Indices and tables
22   -==================
23   -
24 21 * :ref:`genindex`
25 22 * :ref:`modindex`
26 23 * :ref:`search`
... ...