Johann Kois 7d44ec096f r53646 -> r53783 ... MFde: Resync de/docs/books.xml		2020-02-01 09:16:56 +00:00
..
books.xml	r53646 -> r53783	2020-02-01 09:16:56 +00:00
Makefile	- Rename .sgml files to .xml	2012-10-01 09:53:01 +00:00
webresources.xml	r45395 -> r53786	2020-02-01 09:11:35 +00:00