Attention une mise à jour du serveur va être effectuée le vendredi 16 avril entre 12h et 12h30. Cette mise à jour va générer une interruption du service de quelques minutes.

Commit 3d90516e authored by Berenger Bramas's avatar Berenger Bramas

Use inastemp from inria gitlab

parent c4128a03
......@@ -3,4 +3,4 @@
url =
[submodule "inastemp"]
path = inastemp
url = -c http.sslVerify=false
url =
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment