Remove src/tool/backend, now that the content is on the web site and wiki.
Branch
------
master
Details
-------
http://git.postgresql.org/pg/commitdiff/63f1ccd838a19e4a0923221b2f90e4e014cabf74
Modified Files
--------------
src/tools/backend/README | 4 -
src/tools/backend/backend_dirs.html | 349 -----------------------------------
src/tools/backend/flow.fig | 143 --------------
src/tools/backend/flow.gif | Bin 501221 -> 0 bytes
src/tools/backend/index.html | 155 ----------------
5 files changed, 0 insertions(+), 651 deletions(-)