profiles/junat.ini

changeset 71
d2e19670b772
child 72
65408ed066b3
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/profiles/junat.ini	Thu Oct 26 16:54:29 2017 +0300
@@ -0,0 +1,5 @@
+[metrics]
+shape-modifier = 1
+
+[regions]
+use-regions =

mercurial