diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-11-05T22·23+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-11-05T22·23+0000 |
| commit | c60d796f04f81b17330fbfc1e438ed207b1047f4 (patch) | |
| tree | 4b04f3449b5598a5a47d68cc5c32750e7dd378a7 | |
| parent | e8bad77c7cd3ab11e0c131f138c3d18cdf80dbba (diff) | |
* Version bump.
| -rw-r--r-- | version | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/version b/version index c2bdb5632d21..c64601b23de9 100644 --- a/version +++ b/version @@ -1 +1 @@ -0.13 \ No newline at end of file +0.14 \ No newline at end of file |