7 lines
87 B
YAML
7 lines
87 B
YAML
"Type: Proof":
|
|
- "**/*.agc"
|
|
"Type: Meta":
|
|
- "**/MAIN.agc"
|
|
- "**/*.md"
|
|
- "*.md"
|