diff options
| -rw-r--r-- | documentation/dev-manual/dev-manual-model.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/documentation/dev-manual/dev-manual-model.xml b/documentation/dev-manual/dev-manual-model.xml index a6820d6707..2b4be3dd1d 100644 --- a/documentation/dev-manual/dev-manual-model.xml +++ b/documentation/dev-manual/dev-manual-model.xml | |||
| @@ -1480,7 +1480,7 @@ | |||
| 1480 | </section> | 1480 | </section> |
| 1481 | 1481 | ||
| 1482 | <section id='workflow-using-stand-alone-cross-development-toolchains'> | 1482 | <section id='workflow-using-stand-alone-cross-development-toolchains'> |
| 1483 | <title>Workflow Using Stand-alone Cross-development Toolchains</title> | 1483 | <title>Workflow Using Stand-Alone Cross-Development Toolchains</title> |
| 1484 | 1484 | ||
| 1485 | <para> | 1485 | <para> |
| 1486 | If you want to develop an application without prior installation | 1486 | If you want to develop an application without prior installation |