Une MAJ de sécurité est nécessaire sur notre version actuelle. Elle sera effectuée lundi 02/08 entre 12h30 et 13h. L'interruption de service devrait durer quelques minutes (probablement moins de 5 minutes).

Commit c47b1f02 authored by Jean-Christophe Filliâtre's avatar Jean-Christophe Filliâtre
Browse files

nettoyage

parent b704acb7
......@@ -390,7 +390,7 @@ otags:
otags src/*.mli src/*.ml c/*.mli c/*.ml intf/*.mli intf/*.ml
wc:
ocamlwc -p src/*.ml*
ocamlwc -p src/*.ml* src/*/*.ml*
# distrib
#########
......
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