Closed mpwp closed 7 years ago
activity.log and STYLE file no longer appear. I don't know if .ghci is still used but it seems old too (it may be necessary to delete it too). The rest of the repo seems useful!
activity.log
STYLE
.ghci
close #837 (the link don't seems to work in the title)
.ghci is obsolete too, please delete it while you're at it.
done
activity.log
andSTYLE
file no longer appear. I don't know if.ghci
is still used but it seems old too (it may be necessary to delete it too). The rest of the repo seems useful!