diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-03-09T15·05+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-03-09T15·05+0000 |
| commit | be88248add7ac96137a323acb111a301048e37bc (patch) | |
| tree | 584e9b3d03d7f2ddbe16982e65d7f262e232a28a /version | |
| parent | a96cac0d18e291057e79dab36d3e2030d1bbafc9 (diff) | |
* Make the version available to release.nix.
Diffstat (limited to 'version')
| -rw-r--r-- | version | 1 |
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 |