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 229959fa authored by POTTIER Francois's avatar POTTIER Francois

Typo.

parent b134fc73
Pipeline #120338 passed with stages
in 25 seconds
......@@ -35,7 +35,7 @@
* The new switch `--timings-to <filename>` causes internal timing
information to be written to the file `<filename>`.
* A version of the library `fix` is now vendored (included inside) Menhir.
* A version of the library `fix` is now vendored (included) inside Menhir.
This should have no impact for end users, but implies that `dune` 2.2.0
or later is required.
......
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