aboutgitcodelistschat:MatrixIRC
path: root/seitan-run
Commit message (Expand)AuthorAgeFilesLines
* demo: extend demo with additional matchesAlice Frosi2023-06-051-1/+2
* treewide: Change to GPLv2, add LICENSES, missing headersStefano Brivio2023-06-041-1/+1
* seitan-run: Assorted cleanupsStefano Brivio2023-06-031-14/+18
* Introduce seitan-runStefano Brivio2023-06-021-0/+37