Update labeler.yml

This commit is contained in:
James Harris
2020-07-09 18:36:06 +01:00
committed by GitHub
parent 3b0fe95e42
commit 56526339bb

2
.github/labeler.yml vendored
View File

@ -1,5 +1,5 @@
"Type: Proof":
- "**/!(*MAIN).agc"
- "**/*.agc"
"Type: Meta":
- "**/MAIN.agc"
- "**/*.md"