2 Commits (07b6ffd55c006706c06e8bb16eecb169730786fb)

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