Dmitry Isaenko 11af669bbb some htmldoc bugs fixed		2017-12-22 06:21:23 +03:00
..
htmldoc-desktop.patch	some htmldoc bugs fixed	2017-12-22 06:21:23 +03:00