diff options
author | Ulf Wiger <ulf@wiger.net> | 2016-12-21 10:42:12 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-12-21 10:42:12 +0100 |
commit | 9084fe5fe11a4a877f670a98651e805a31b9f976 (patch) | |
tree | f2e771492ca0e48edebe9e769c07a36059dc234f /Makefile | |
parent | a5d3ff176367b9671852d5fde82092995bbe5b9a (diff) | |
parent | 0b3103e95119e401b44ab48a8db3edd1aecb31a7 (diff) | |
download | rvi_core-9084fe5fe11a4a877f670a98651e805a31b9f976.tar.gz |
Merge pull request #110 from tjamison/release-0.5.1v0.5.1
Release 0.5.1
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -37,7 +37,7 @@ SRC_LIST=BUILD.md \ deps \ TODO -VERSION=0.5.0 +VERSION=0.5.1 all: deps compile escript |