diff options
| -rw-r--r-- | doc/FAQ_DEV | 2 | ||||
| -rw-r--r-- | doc/src/FAQ/FAQ_DEV.html | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/doc/FAQ_DEV b/doc/FAQ_DEV index 93be4bb2a38..0de0d6407c9 100644 --- a/doc/FAQ_DEV +++ b/doc/FAQ_DEV @@ -27,7 +27,7 @@ 11) What is configure all about? 12) How do I add a new port? 13) What is CommandCounterIncrement()? - 13) Why don't we use threads in the backend? + 14) Why don't we use threads in the backend? _________________________________________________________________ 1) What tools are available for developers? diff --git a/doc/src/FAQ/FAQ_DEV.html b/doc/src/FAQ/FAQ_DEV.html index 792446a1ac4..3b302172184 100644 --- a/doc/src/FAQ/FAQ_DEV.html +++ b/doc/src/FAQ/FAQ_DEV.html @@ -50,7 +50,7 @@ <A href="#11">11</A>) What is configure all about?<BR> <A href="#12">12</A>) How do I add a new port?<BR> <A href="#13">13</A>) What is CommandCounterIncrement()?<BR> - <A href="#14">13</A>) Why don't we use threads in the backend?<BR> + <A href="#14">14</A>) Why don't we use threads in the backend?<BR> <BR> <HR> |