2 Commits (696e160cfceccd8a9b9d255a37a3cc5b94832b17)

Author SHA1 Message Date
David Anderson de5da37a22 VERSION: rename to version.txt to work around macOS limitations. 6 years ago
David Anderson 65bad9a8bd version: greatly simplify redo nonsense, now that we use VERSION. 6 years ago