commit | 5b91551f3944d69e0090d6b6528852207de78078 | [log] [tgz] |
---|---|---|
author | David Demelier <markand@malikania.fr> | Tue Apr 23 11:12:23 2019 +0200 |
committer | Christopher Dunn <cdunn2001@gmail.com> | Wed Apr 24 23:56:30 2019 -0500 |
tree | ad832456179c0692c3ca2f0325c5c8d995a311f1 | |
parent | 27290cf81db1e25f53b839ff240c019c317cff5f [diff] |
Rename version.md to version.txt
diff --git a/dev.makefile b/dev.makefile index 159af17..1a4be6a 100644 --- a/dev.makefile +++ b/dev.makefile
@@ -1,6 +1,6 @@ # This is only for jsoncpp developers/contributors. # We use this to sign releases, generate documentation, etc. -VER?=$(shell cat version.md) +VER?=$(shell cat version.txt) default: @echo "VER=${VER}"
diff --git a/version.md b/version.txt similarity index 100% rename from version.md rename to version.txt