diff options
| -rw-r--r-- | doc/manual.cli | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/doc/manual.cli b/doc/manual.cli index ca68535..59084d6 100644 --- a/doc/manual.cli +++ b/doc/manual.cli @@ -4866,9 +4866,6 @@ While we have already seen some examples of how to propagate the configuration values to our source code, \l{#proj-config-propag Configuration Propagation} discusses this topic in more detail. -this topic is discussed further in -. - \h#proj-config-report|Configuration Report| |