Brian Picciano 062e5bbd10 delete some old script that aren't needed anymore		2022-08-18 20:28:04 -06:00
..
src	delete some old script that aren't needed anymore	2022-08-18 20:28:04 -06:00
default.nix	load some test data when starting the dev shell	2022-08-18 20:27:40 -06:00