mirror of https://github.com/Kitware/CMake.git
Browse Source
The form of alternative names for "placeholders" has been used already (e.g., `<file|dir>` in the `cmake(1)` manual).pull/354/head

3 changed files with 3 additions and 4 deletions
Loading…
Reference in new issue