GRASS GIS 7 Programmer's Manual  7.4.2(2018)-exported
GRASS GIS 7 Programmer's Manual Documentation