Update tools directory name.
Bruce Momjian <bruce@momjian.us>
Update tools directory name.
Files
| Path | Change | +/− |
|---|---|---|
| doc/FAQ_DEV | modified | +2 −2 |
| doc/src/FAQ/FAQ_DEV.html | modified | +2 −2 |
Bruce Momjian <bruce@momjian.us>
Update tools directory name.
| Path | Change | +/− |
|---|---|---|
| doc/FAQ_DEV | modified | +2 −2 |
| doc/src/FAQ/FAQ_DEV.html | modified | +2 −2 |
We can't find the internet
Attempting to reconnect
Something went wrong!
Attempting to reconnect