Vadim Zeitlin 2ec2837f6d Update version to 3.1.2 ... Run misc/scripts/inc_release and rebake.		2018-02-20 00:08:01 +01:00
..
htmlctrl.bkl
htmlctrl.cpp
Makefile.in	Update version to 3.1.2	2018-02-20 00:08:01 +01:00
makefile.unx