ba68c15121
This version contains a lot of small additions and bugfixes, see CHANGES.md in the distribution. Also, the mode of distribution has changed; the package is now distributed through INRIA's gitlab. |
||
|---|---|---|
| .. | ||
| patch-Makefile | ||