| commit | 9b1ce65982dc5ebc518dc447fa520a8f96ddaa55 | [log] [tgz] |
|---|---|---|
| author | Andreas Veithen <andreas.veithen@gmail.com> | Mon Nov 21 00:33:26 2022 +0000 |
| committer | Andreas Veithen <andreas.veithen@gmail.com> | Mon Nov 21 00:33:26 2022 +0000 |
| tree | 32e45a08e573e14e7067a7a249ba6d742127272c | |
| parent | 424efc96f1c658078368f9c297fe550bfd6f0c02 [diff] |
Adapt to changes in Axiom