lib: doc: add TODOs

[majurity.git] / hjugement-web / .gitignore

diff --git a/hjugement-web/.gitignore b/hjugement-web/.gitignore
index 20e090a3c287dc4d84615f22776853e40e11a9ac..30efe199753551e9cf5d050deaab7fb268f9ecd6 100644 (file)
--- a/hjugement-web/.gitignore
+++ b/hjugement-web/.gitignore
@@ -7,3 +7,4 @@
 /.psc*
 /.purs*
 /.psa*
+/.spago