docs/src/footer.html

Fri, 01 Sep 2017 20:08:09 +0200

author
Olaf Wintermann <olaf.wintermann@gmail.com>
date
Fri, 01 Sep 2017 20:08:09 +0200
changeset 292
0a47ffc8b73b
parent 265
ee9e63c437c4
permissions
-rw-r--r--

fixes wrong int type that results in a crash on some platforms

</div>
<!-- end content -->

mercurial