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 년 전 | |