-
Xavier Leroy authored
The `-version-file` option was removed in commit 600803ca, but remained in the option summary, as reported in #386.
1a52f581
The `-version-file` option was removed in commit 600803ca, but remained in the option summary, as reported in #386.