Version 1.3.3bugfix/v1.31.3.3
commit4f416a74bab946b711f32748891bb313fda68ef4
authorGuillaume Melquiond <guillaume.melquiond@inria.fr>
Fri, 11 Sep 2020 14:06:19 +0000 (11 16:06 +0200)
committerGuillaume Melquiond <guillaume.melquiond@inria.fr>
Fri, 11 Sep 2020 14:06:19 +0000 (11 16:06 +0200)
tree9c246e8c51c19d9dbe5927ce54e20852acb0e41d
parent048de698bce73d4d0f2865c6af48711e3e040194
Version 1.3.3
CHANGES.md
configure.in
doc/conf.py