Matei Adriel d93cb11e2f Make bootstrapping devshell work		2023-12-10 23:53:19 +01:00
..
config.fish	Some more latex stuff and whatnot	2023-11-27 00:15:03 +01:00
default.nix	Make bootstrapping devshell work	2023-12-10 23:53:19 +01:00