| drwxr-xr-x | [up] | |||
| -rw-r--r-- | 2022-09-23 18:05 +0200 | 1358 | config.rnc | file | revisions | annotate |
| -rw-r--r-- | 2022-09-23 18:05 +0200 | 1168 | config.xml | file | revisions | annotate |
| -rw-r--r-- | 2022-09-23 18:05 +0200 | 3119 | config.xsd | file | revisions | annotate |
| -rw-r--r-- | 2022-09-23 18:05 +0200 | 5380 | config.xsl | file | revisions | annotate |