Rm unneeded note

This commit is contained in:
Julian Ospald 2020-08-11 22:04:08 +02:00
parent 90af68b211
commit e2c4db9132
No known key found for this signature in database
GPG Key ID: 511B62C09D50CD28
1 changed files with 0 additions and 1 deletions

View File

@ -1,4 +1,3 @@
# !!! if you use RegexDir, then the version must be bumped !!!
---
toolRequirements:
GHC: