2 Commits (de5da37a22ba8a47db43124fcb8a067f61b5549e)

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