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