update gitignore file to reduce git status trash which caused me to overlook needed sources
commit448197c90245a1853249e3c4935d9fdc07502f29
authorAgentM <agentm@themactionfaction.com>
dateMon 17 Apr 2017, 12:02 (10 years ago)
parent96f4872
.gitignore+9−1
@@ -6,4 +6,12 @@ dist/
66cabal.sandbox.config
77.stack-work
88dist-newstyle/
9−dist_build/
9+dist_build/
10+NOTES
11+RelatedPapers/
12+_shake
13+nextsteps
14+\#*\#
15+view-system-notes
16+persistence-notes
17+*.pyc