Rename pidx utility to stindex

This commit is contained in:
Jakob Borg 2014-07-31 12:30:53 +02:00
parent 7f1fcc9cfc
commit c5c9ee92ac