Commit 15455ae9 authored by Gérard Huet's avatar Gérard Huet

Data update

parent 49da566f
......@@ -8,4 +8,4 @@
(**************************************************************************)
(* Generated by make version - see main Makefile *)
value version="3.02" and version_date="2017-10-13";
value version="3.02" and version_date="2017-10-19";
VERSION='3.02'
DATE='2017-10-13'
DATE='2017-10-19'
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