Version 1.7.11.7.1
commitee474fdf493de18a702f9c503e104cea58dc22af
authorGuillaume Melquiond <guillaume.melquiond@inria.fr>
Sat, 20 Jan 2024 10:40:54 +0000 (20 11:40 +0100)
committerGuillaume Melquiond <guillaume.melquiond@inria.fr>
Sat, 20 Jan 2024 10:40:54 +0000 (20 11:40 +0100)
tree0b3bee79fc8d9e77af03781adadd227a8c01c1de
parent780c38d8f327f981ec3d6cb15ca29c6fdaf4e080
Version 1.7.1
CHANGES.md
configure.in
doc/conf.py
doc/index.rst