diff options
-rw-r--r-- | catalog000.txt | 15 | ||||
-rw-r--r-- | extract000.txt | 6 | ||||
-rw-r--r-- | servers.txt | 2 |
3 files changed, 22 insertions, 1 deletions
diff --git a/catalog000.txt b/catalog000.txt index e69de29..dc63017 100644 --- a/catalog000.txt +++ b/catalog000.txt @@ -0,0 +1,15 @@ +# MediaTeX collection catalog: demo + +# Categories: + +# Humans: + +# Archives: + +# Documents: + + +# Local Variables: +# mode: conf +# mode: font-lock +# End: 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: diff --git a/servers.txt b/servers.txt index 509e6dd..becef87 100644 --- a/servers.txt +++ b/servers.txt @@ -25,7 +25,7 @@ Server 4e20841124e5f093a4cf7e8a65f10f65 comment "Ovh public server" label mdtx host www.narval.fr.eu.org - lastCommit 2016-06-04,12:58:35 + lastCommit 2016-06-04,13:04:43 mdtxPort 6561 sshPort 22 wwwPort 80 |