diff options
Diffstat (limited to 'doc/src')
| -rw-r--r-- | doc/src/FAQ/FAQ_DEV.html | 2 |
1 files changed, 1 insertions, 1 deletions
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> |