Remove unused graphics files.
Peter Eisentraut <peter_e@gmx.net>
Remove unused graphics files.
Files
| Path | Change | +/− |
|---|---|---|
| doc/src/graphics/catalogs.ag | deleted | +0 −1220 |
| doc/src/graphics/catalogs.cgm | deleted | binary |
| doc/src/graphics/catalogs.gif | deleted | binary |
| doc/src/graphics/catalogs.ps | deleted | +0 −1018 |
| doc/src/graphics/clientserver.ag | deleted | +0 −99 |
| doc/src/graphics/clientserver.gif | deleted | binary |
| doc/src/graphics/connections.ag | deleted | +0 −486 |
| doc/src/graphics/connections.gif | deleted | binary |
