diff options
Diffstat (limited to 'DOCS/xml/de/history.xml')
| -rw-r--r-- | DOCS/xml/de/history.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/DOCS/xml/de/history.xml b/DOCS/xml/de/history.xml index d42cb610d7..141b585788 100644 --- a/DOCS/xml/de/history.xml +++ b/DOCS/xml/de/history.xml @@ -1,5 +1,5 @@ <?xml version="1.0" encoding="iso-8859-1"?>
-<!-- in sync with rev 1.12 $ -->
+<!-- in sync with r14025 -->
<!-- FIXME: history really should be in the appendix -->
<sect1 id="history">
<title>Gechichte</title>
|