Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.Sign up
docs/options-in-versions: which version added each cmdline option #5381
test 0971...[Verify that options-in-versions and docs/cmdline-opts are in sync]
BTW: this document lists all currently available options and it is not a representation of all options that ever existed during the project lifetime. This has the effect that for example curl 4.0 (probably) had 21 options but in this list there are only 18 mentioned for
Added test 971 to verify that the list is in sync with the files in cmdline-opts. The check also verifies that .d-files that uses Added: specify the same version number as the options-in-versions file does.