Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | treewide: Change to GPLv2, add LICENSES, missing headers | Stefano Brivio | 2023-06-04 | 1 | -1/+1 |
* | seitan-run: Assorted cleanups | Stefano Brivio | 2023-06-03 | 1 | -14/+18 |
* | Introduce seitan-run | Stefano Brivio | 2023-06-02 | 1 | -0/+37 |