remove 'deref_to_tree', not needed anymore
[webgit] / INSTALL
2007-12-16 Christian ThaeterHere we go, first code