Fix *.gif expansion to be empty when no gif files are used.
Peter Eisentraut <peter_e@gmx.net>
Fix *.gif expansion to be empty when no gif files are used.
Files
| Path | Change | +/− |
|---|---|---|
| doc/src/Makefile | modified | +2 −2 |
Peter Eisentraut <peter_e@gmx.net>
Fix *.gif expansion to be empty when no gif files are used.
| Path | Change | +/− |
|---|---|---|
| doc/src/Makefile | modified | +2 −2 |
We can't find the internet
Attempting to reconnect
Something went wrong!
Attempting to reconnect