diff --git a/documentation/dev-manual/dev-manual-intro.xml b/documentation/dev-manual/dev-manual-intro.xml index ca16b7c0b5..b1ff893ab0 100644 --- a/documentation/dev-manual/dev-manual-intro.xml +++ b/documentation/dev-manual/dev-manual-intro.xml @@ -46,7 +46,7 @@
- What this Manual Provides + What This Manual Provides The following list describes what you can get from this guide: