Change project name

This commit is contained in:
Joscha 2019-10-28 13:48:28 +00:00
parent ae84e1a148
commit 0a446ca70e
4 changed files with 10 additions and 13 deletions

4
.gitignore vendored
View file

@ -1,3 +1,3 @@
.stack-work/
regex-dingsda.cabal
*~
rextra.cabal
*~