Version 1.3.21.3.2
commit40466746729c92d0ebf8bc7b43f918455854e0b5
authorGuillaume Melquiond <guillaume.melquiond@inria.fr>
Sat, 5 Sep 2020 07:39:18 +0000 (5 09:39 +0200)
committerGuillaume Melquiond <guillaume.melquiond@inria.fr>
Sat, 5 Sep 2020 07:39:18 +0000 (5 09:39 +0200)
tree6013f0312c2249bfeba9207938fe631e36e4dd76
parentbe6aabb73f6e30e1989125f13a47a79ae367b8b3
Version 1.3.2
CHANGES.md
configure.in
doc/conf.py
doc/index.rst