docs/src/footer.html

Thu, 28 Jun 2018 17:42:49 +0200

author
Olaf Wintermann <olaf.wintermann@gmail.com>
date
Thu, 28 Jun 2018 17:42:49 +0200
changeset 432
a213ecaf3f4a
parent 265
ee9e63c437c4
permissions
-rw-r--r--

adjusts completion index, if options are specified

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

mercurial