Vadim Zeitlin 2ec2837f6d Update version to 3.1.2 ...

Run misc/scripts/inc_release and rebake.

2018-02-20 00:08:01 +01:00

..

src

Update version to 3.1.2

2018-02-20 00:08:01 +01:00

Makefile.in

Added helpview Makefile.in; added helpview to list of utils

2002-07-16 10:01:45 +00:00