Closed 17dec closed 7 years ago
As per issue #105. I went with your idea to use gen_index.py, as that seemed like an easy enough approach even with my limited Python experience.
Thank you! The PR is very clear and I have no further comment to offer. :-)
As per issue #105. I went with your idea to use gen_index.py, as that seemed like an easy enough approach even with my limited Python experience.