Version 1.7.2stable1.7.2
commit1343338d3bb1941c0d4f134283bb0790816113c4
authorGuillaume Melquiond <guillaume.melquiond@inria.fr>
Thu, 18 Apr 2024 08:53:51 +0000 (18 10:53 +0200)
committerGuillaume Melquiond <guillaume.melquiond@inria.fr>
Thu, 18 Apr 2024 08:53:51 +0000 (18 10:53 +0200)
treef5e82693620413d7d8e3ebcba69addcb6a65f877
parentd7ff7966316e79c41751885df56c698066ece819
Version 1.7.2
CHANGES.md
configure.in
doc/conf.py
doc/index.rst