Autore | SHA1 Messaggio | Data |
---|---|---|
|
6d2ba7954d generate TOC also for full_index | 11 anni fa |
|
9d96f6357c fix build_index scripts: report current year (GRASS_VERSION_DATE) | 12 anni fa |
|
2380c3d3b3 Convert tools/build_html_index.sh to Python, split into multiple scripts | 15 anni fa |