diff --git a/.version b/.version
new file mode 100644
index 00000000..3d45b5c6
--- /dev/null
+++ b/.version
@@ -0,0 +1 @@
+2.0.14
diff --git a/doc/dev/logs/2012-10-25.version-split b/doc/dev/logs/2012-10-25.version-split
new file mode 100644
index 00000000..975e1173
--- /dev/null
+++ b/doc/dev/logs/2012-10-25.version-split
@@ -0,0 +1,3 @@
+- store version in .version
+- when distributed / packaged, include .version into sourcecode
+- when in git checkout, use dynamic versioning