| Age | Commit message (Expand) | Author |
|---|---|---|
| 2026-08-13 | integrated .pik/run.sh in GNUmakefile | usr |
| 2026-08-13 | added action .pik/clean.sh | usr |
| 2026-08-13 | makefile build; ignore build artifacts | usr |
| 2026-08-13 | eersts | usr |
![]() |
index : ponger | |
| Unnamed repository; edit this file 'description' to name the repository. | git daemon user |
| summaryrefslogtreecommitdiff |
| Age | Commit message (Expand) | Author |
|---|---|---|
| 2026-08-13 | integrated .pik/run.sh in GNUmakefile | usr |
| 2026-08-13 | added action .pik/clean.sh | usr |
| 2026-08-13 | makefile build; ignore build artifacts | usr |
| 2026-08-13 | eersts | usr |