| commit | 55e3d335ca7e6918ba79c89465d62dd9f429726b | |
| author | Claude Marche <Claude.Marche@inria.fr> | |
| Wed, 18 Sep 2024 13:42:05 +0000 (18 15:42 +0200) | ||
| committer | Claude Marche <Claude.Marche@inria.fr> | |
| Wed, 18 Sep 2024 13:42:05 +0000 (18 15:42 +0200) | ||
| tree | 297f6121dfe624c597ff0e30193c01d93a7d5515 | treesnapshot (tar.gz zip) |
| parent | 4d0131dc3e308780b0568a1e9f6200a8a3684ccf | commitdiff |
fix session having extra edited files
| examples/tests-provers/real_from_int/why3session.xml | diffblobblamehistory |