Pietro Zambelli
78d2c72d32
g.extension: When remove an extension remove directories in GRASS_ADDONS/etc/{name}/*
|
7 年 前 | |
|---|---|---|
| .. | ||
| testsuite | 9 年 前 | |
| Makefile | 16 年 前 | |
| g.extension.html | 8 年 前 | |
| g.extension.py | 7 年 前 | |
|
Pietro Zambelli
78d2c72d32
g.extension: When remove an extension remove directories in GRASS_ADDONS/etc/{name}/*
|
7 年 前 | |
|---|---|---|
| .. | ||
| testsuite | 9 年 前 | |
| Makefile | 16 年 前 | |
| g.extension.html | 8 年 前 | |
| g.extension.py | 7 年 前 | |