No description

Valentin Boettcher ce8b6fa17f update shell.nix		2022-03-04 16:29:58 +01:00
calca	thinking about alternative bcf normalizations	2022-02-25 20:24:02 +01:00
hops_data	update mount workhorse to also work with sshfs	2022-03-04 16:26:45 +01:00
python	updates of project 06	2022-03-04 16:29:54 +01:00
tex	fix the definition of the D operator	2022-02-25 20:24:31 +01: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 data dir	2022-02-25 20:25:04 +01:00
.gitmodules	remove hops submodule	2021-12-07 21:23:38 +01:00
project.org	some project updates	2022-02-25 20:24:44 +01:00
shell.nix	update shell.nix	2022-03-04 16:29:58 +01:00