diff options
Diffstat (limited to 'Help/release/dev/ExternalProject-log-options.rst')
| -rw-r--r-- | Help/release/dev/ExternalProject-log-options.rst | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/Help/release/dev/ExternalProject-log-options.rst b/Help/release/dev/ExternalProject-log-options.rst deleted file mode 100644 index 88bc799..0000000 --- a/Help/release/dev/ExternalProject-log-options.rst +++ /dev/null @@ -1,8 +0,0 @@ -ExternalProject-log-options ---------------------------- - -* The :module:`ExternalProject` module :command:`ExternalProject_Add` command - gained ``LOG_DIR`` and ``LOG_MERGED_STDOUTERR`` options to control logging. - -* The :module:`ExternalProject` module :command:`ExternalProject_Add` command - gained ``LOG_PATCH`` to optionally log the patch step. |