7 lines
94 B
YAML
7 lines
94 B
YAML
"Type: Proof":
|
|
- "**/!(*MAIN).agc"
|
|
"Type: Meta":
|
|
- "**/MAIN.agc"
|
|
- "**/*.md"
|
|
- "*.md"
|