Log of gnu/packages/patches/tla2tools-build-xml.patch
| Commit | Subject | Author | Time (UTC) |
|---|---|---|---|
| f0342642 | Merge branch 'master' into core-updates | Marius Bakke | 2021-05-09 19:29 |
| Commit | Subject | Author | Time (UTC) |
|---|---|---|---|
| f0342642 | Merge branch 'master' into core-updates | Marius Bakke | 2021-05-09 19:29 |