From 5b91551f3944d69e0090d6b6528852207de78078 Mon Sep 17 00:00:00 2001
From: David Demelier <markand@malikania.fr>
Date: Tue, 23 Apr 2019 11:12:23 +0200
Subject: [PATCH] Rename version.md to version.txt

---
 dev.makefile              | 2 +-
 version.md => version.txt | 0
 2 files changed, 1 insertion(+), 1 deletion(-)
 rename version.md => version.txt (100%)

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