2 Commits (ed17f5ddaeee5f50ed8f555d4bd37908d4a4c62a)

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