diff options
| author | Bruce Momjian | 2000-12-09 04:57:31 +0000 |
|---|---|---|
| committer | Bruce Momjian | 2000-12-09 04:57:31 +0000 |
| commit | 9ed7237110b08e173dd0443b3dc2ae149a1c4efb (patch) | |
| tree | be04dc9b98218594b39ec5c299b642e2fa508974 | |
| parent | 5dd9fc724e963b2b5bf12b3f6e4314b266139381 (diff) | |
Update FAQ_DEV.
| -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> |