| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | repurpose the repo | Egor Tensin | 2025-09-09 |
| * | Makefile: move the prelude to prelude.mk | Egor Tensin | 2023-06-30 |
![]() |
index : maintenance | |
| Doing basic maintenance on my stuff | Egor Tensin |
| aboutsummaryrefslogtreecommitdiffstatshomepage |
| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | repurpose the repo | Egor Tensin | 2025-09-09 |
| * | Makefile: move the prelude to prelude.mk | Egor Tensin | 2023-06-30 |