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 dc1ff57db1..9f3811717a 100644 --- a/documentation/dev-manual/dev-manual-model.xml +++ b/documentation/dev-manual/dev-manual-model.xml | |||
| @@ -1259,7 +1259,7 @@ | |||
| 1259 | clean a recipe or have <filename>rm_work</filename> enabled, | 1259 | clean a recipe or have <filename>rm_work</filename> enabled, |
| 1260 | the workflow described in the | 1260 | the workflow described in the |
| 1261 | "<link linkend='using-devtool-in-your-workflow'>Using <filename>devtool</filename> in Your Workflow</link>" | 1261 | "<link linkend='using-devtool-in-your-workflow'>Using <filename>devtool</filename> in Your Workflow</link>" |
| 1262 | section is a safer development flow than than the flow that | 1262 | section is a safer development flow than the flow that |
| 1263 | uses Quilt. | 1263 | uses Quilt. |
| 1264 | </note> | 1264 | </note> |
| 1265 | </para> | 1265 | </para> |