version.txt 33 Bytes
Newer Older
Gérard Huet's avatar
Gérard Huet committed
1 2
VERSION='3.16'
DATE='2019-05-09'