| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Revamp CI: simpler variant of the same functionality | EuAndreh | 2023-04-01 | 1 | -1/+1 |
| * | aux/: Update | EuAndreh | 2021-09-01 | 1 | -6/+18 |
| * | aux/: Update | EuAndreh | 2021-07-23 | 1 | -29/+42 |
| * | Makefile, README.md: Adapt to changes in aux/ | EuAndreh | 2021-06-26 | 1 | -0/+50 |
 |
index : remembering | |
| Unnamed repository; edit this file 'description' to name the repository. | External SSH Git service user |
| aboutsummaryrefslogtreecommitdiff |