Commit 17a68bcf authored by POTTIER Francois's avatar POTTIER Francois

Typo.

parent 75c59420
# This is the list of modules that must go into MenhirLib.
# Thy must be listed in dependency order, as this list is
# They must be listed in dependency order, as this list is
# used to construct menhirLib.ml at installation time.
General
Convert
......
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