about summary refs log tree commit diff
path: root/version
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2009-03-09T15·05+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2009-03-09T15·05+0000
commitbe88248add7ac96137a323acb111a301048e37bc (patch)
tree584e9b3d03d7f2ddbe16982e65d7f262e232a28a /version
parenta96cac0d18e291057e79dab36d3e2030d1bbafc9 (diff)
* Make the version available to release.nix.
Diffstat (limited to 'version')
-rw-r--r--version1
1 files changed, 1 insertions, 0 deletions
diff --git a/version b/version
new file mode 100644
index 000000000000..c2bdb5632d21
--- /dev/null
+++ b/version
@@ -0,0 +1 @@
+0.13
\ No newline at end of file