tree cc3a8ee4fbf82c3e95437000be88a14374f5cb3d
parent 483fb87d34cef126204619473d8992193f82cb6d
author Till Westmann <till@westmann.org> 1370296808 -0700
committer Till Westmann <till@westmann.org> 1370296808 -0700

small modification for text indices