30 Jan
2011
30 Jan
'11
12:17 p.m.
Reimar Döffinger wrote on Sun, 30 Jan 2011 11:18:32 +0100:
It's supposed to correspond to DOCS/xml in the main repository, but I do not know if updating of it currently works.
It does not. Recent changes do not show up there. Ingo