Version 1.2.1bugfix/v1.21.2.1
commit60f1aed87a5e6aea9af285e3c539200d96e5a295
authorGuillaume Melquiond <guillaume.melquiond@inria.fr>
Mon, 28 Oct 2019 08:40:29 +0000 (28 09:40 +0100)
committerGuillaume Melquiond <guillaume.melquiond@inria.fr>
Mon, 28 Oct 2019 08:40:29 +0000 (28 09:40 +0100)
treeab1c83453c1bd4717fcaa5c596a9971ac8082e1e
parentbde2dacca0a5fbd727f92ec8c901bf7c7b792e54
Version 1.2.1
CHANGES.md
Version
doc/manual.tex