rename geochan
This commit is contained in:
parent
55d2abefb4
commit
930c49e8d6
11 changed files with 33 additions and 61 deletions
|
|
@ -6,7 +6,7 @@
|
|||
config_test ; implements config module
|
||||
shared
|
||||
comment
|
||||
permap
|
||||
geochan
|
||||
;;
|
||||
alcotest
|
||||
fmt
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue