From 2bc12f9730888e4214938778c5ce0e5837a7231e Mon Sep 17 00:00:00 2001
From: Daniel Lemire <lemire@gmail.com>
Date: Wed, 8 Apr 2020 17:55:25 -0400
Subject: [PATCH] Removing useless line.

---
 tools/release.py | 2 --
 1 file changed, 2 deletions(-)

diff --git a/tools/release.py b/tools/release.py
index c4a460d8..1434a0e2 100755
--- a/tools/release.py
+++ b/tools/release.py
@@ -156,8 +156,6 @@ for line in fileinput.input(doxyfile, inplace=1, backup='.bak'):
     print(line)
 print("modified "+doxyfile+", a backup was made")
 
-PROJECT_NUMBER         = "0.3.1"
-
 scriptlocation = os.path.dirname(os.path.abspath(__file__))