xenia/home
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
147 Commits 1 Branch 0 Tags 34 MiB
0b323bcfda
Commit Graph

2 Commits

Author SHA1 Message Date
xenia
56a7f015e3 Goodbye Agda 2024-12-21 01:05:37 +01:00
xenia
ccff3036c3 configure home 2023-10-12 22:51:18 +02:00