Version 1.6.0.bugfix/v1.61.6.0
commit49c0c5193ef945f1a3dca30b59fa093a7b43437d
authorGuillaume Melquiond <guillaume.melquiond@inria.fr>
Tue, 7 Mar 2023 08:41:18 +0000 (7 09:41 +0100)
committerGuillaume Melquiond <guillaume.melquiond@inria.fr>
Tue, 7 Mar 2023 09:15:31 +0000 (7 10:15 +0100)
treea30e369d6a47cea92f481e57778794eeeec10bdd
parent89846b8dcc005a1666bfb0dd1f0492db72c97cc4
Version 1.6.0.
CHANGES.md
configure.in
doc/conf.py
doc/index.rst