No description
Find a file
2022-07-07 19:00:35 +02:00
calca add calcs 2022-06-01 16:56:50 +02:00
hops_data renamed: hops_data/mount_workhorse.sh -> mount_workhorse.sh 2022-03-15 10:52:13 +01:00
python update deps 2022-07-07 19:00:35 +02:00
Tasks update project notes 2022-05-16 17:43:13 +02:00
tex main tex to flakes 2022-06-20 21:35:00 +02:00
.envrc add nix 2021-09-18 17:37:33 +02:00
.gitattributes add xoj support 2021-10-22 18:01:39 +02:00
.gitignore ignore the data in hops_data 2022-05-16 17:43:25 +02:00
.gitmodules remove hops submodule 2021-12-07 21:23:38 +01:00
mount_workhorse.sh renamed: hops_data/mount_workhorse.sh -> mount_workhorse.sh 2022-03-15 10:52:13 +01:00
project.org some simple project updates, weeding out follows 2022-06-13 13:24:24 +02:00
shell.nix update shell.nix 2022-03-04 16:29:58 +01:00