diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2020-09-29 11:37:01 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2020-09-29 11:37:01 +0200 |
| commit | 9dba2e1e7a8aa8de4d5236ab6b5a81d6cf34df1a (patch) | |
| tree | e816c6216bf0d7f1303e388b0a3630a676a4d654 | |
| parent | e6d5f9148dea1a1a69d728056e9695e14f0fb050 (diff) | |
Remove stray text from manual
| -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| |