version.txt 33 Bytes
Newer Older
Gérard Huet's avatar
Gérard Huet committed
1
VERSION='3.13'
Gérard Huet's avatar
Gérard Huet committed
2
DATE='2019-02-22'