docs/HISTORY.txt
changeset 9 4e2d5ad1ea43
parent 6 fe40de633af9
child 13 aa02c3117e2c
--- a/docs/HISTORY.txt	Mon Sep 11 13:37:54 2017 +0200
+++ b/docs/HISTORY.txt	Mon Sep 11 15:01:55 2017 +0200
@@ -1,6 +1,10 @@
 History
 =======
 
+0.1.2
+-----
+ - updated maps manager header
+
 0.1.1
 -----
  - changed area selection behaviour to match default configuration