Version 29 Bytes
Newer Older
1
# Why version
Andrei Paskevich's avatar
Andrei Paskevich committed
2
VERSION=0.71a
Jean-Christophe Filliatre's avatar
Jean-Christophe Filliatre committed
3