Pietro Zambelli 78d2c72d32 g.extension: When remove an extension remove directories in GRASS_ADDONS/etc/{name}/* 8 years ago
..
testsuite ad971d881d temporal: support python3 9 years ago
Makefile 9a970ccd9a g.extension.add moved from grass-addons to trunk & renamed to 16 years ago
g.extension.html fc98d4cdeb manual: use new generic addon URL 8 years ago
g.extension.py 78d2c72d32 g.extension: When remove an extension remove directories in GRASS_ADDONS/etc/{name}/* 8 years ago