Commit 7a9a0c1e authored by Gérard Huet's avatar Gérard Huet

Version module is generated by make version

parent e7bfc918
...@@ -8,4 +8,4 @@ ...@@ -8,4 +8,4 @@
(**************************************************************************) (**************************************************************************)
(* Generated by make version - see main Makefile *) (* Generated by make version - see main Makefile *)
value version="3.09" and version_date="2018-11-25"; value version="3.10" and version_date="2018-11-27";
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