cindex.py updated

This commit is contained in:
Wenzel Jakob
2016-07-01 12:21:53 +02:00
parent 3eeea6fa61
commit 5766c3a609