| changeset 9 | 4e2d5ad1ea43 |
| parent 6 | fe40de633af9 |
| child 13 | aa02c3117e2c |
| 8:8c78078cd105 | 9:4e2d5ad1ea43 |
|---|---|
1 History |
1 History |
2 ======= |
2 ======= |
3 |
|
4 0.1.2 |
|
5 ----- |
|
6 - updated maps manager header |
|
3 |
7 |
4 0.1.1 |
8 0.1.1 |
5 ----- |
9 ----- |
6 - changed area selection behaviour to match default configuration |
10 - changed area selection behaviour to match default configuration |
7 - changed ZMI permissions |
11 - changed ZMI permissions |