diff options
Diffstat (limited to 'extract000.txt')
| -rw-r--r-- | extract000.txt | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/extract000.txt b/extract000.txt index e69de29..f585571 100644 --- a/extract000.txt +++ b/extract000.txt @@ -0,0 +1,6 @@ +# MediaTeX extraction metadata: demo + +# Local Variables: +# mode: conf +# mode: font-lock +# End: |