-
Matt McCormick authored
The '-E build build_dir' command was created and documented, but then morphed into '--build build_dir' instead, ... and then the -E documentation was never removed. This commit fixes that oversight.
96d106a7
A GitLab update will be applied on April 24th, between 8am and 10am, EST (UTC-05:00). This site may have intermittent delays during that time.
The '-E build build_dir' command was created and documented, but then morphed into '--build build_dir' instead, ... and then the -E documentation was never removed. This commit fixes that oversight.