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