From: Mark Wooding <mdw@distorted.org.uk>
Date: Sun, 9 Aug 2020 10:46:49 +0000 (+0100)
Subject: build/ scripts: Remove the version-number machinery.
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~mdw/git/runlisp/commitdiff_plain/ae4e0977c7e5762116907a1913f15f2414f07ac1?hp=ae4e0977c7e5762116907a1913f15f2414f07ac1

build/ scripts: Remove the version-number machinery.

Since these things are no longer installed anywhere outside of a
revision-controlled working tree, they don't need to know their version
numbers any more.
---