log dtd/menu.dtd @ 3091:6cab598f14a1 default tip

age author description
Thu, 04 Oct 2012 14:58:56 +0000 Ruslan Ermilov Fixed menu's DTD.
Tue, 10 Jul 2012 12:59:42 +0000 Ruslan Ermilov Added copyright markers to documentation sources.
Mon, 10 Oct 2011 14:47:09 +0000 Maxim Dounin Added DTDs to make xmllint happy.