diff options
Diffstat (limited to 'Help/release/dev/precompile-headers.rst')
| -rw-r--r-- | Help/release/dev/precompile-headers.rst | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/Help/release/dev/precompile-headers.rst b/Help/release/dev/precompile-headers.rst deleted file mode 100644 index 8b62da7..0000000 --- a/Help/release/dev/precompile-headers.rst +++ /dev/null @@ -1,6 +0,0 @@ -Precompile Headers ------------------- - -* The :prop_tgt:`PRECOMPILE_HEADERS` target property was added to tell - generators to use a list of precompile headers for faster compilation - times. |