Deletion of the relax_disp branch.
This branch will be recreated as a copy of the latest trunk, and the useful commits from the old relax_disp branch manually ported with commands such as:
svn merge -r8242:8243 svn+ssh://bugman@.../svn/relax/branches/relax_disp .
The old code will remain permanently in the repository, but will not be visible at head revision.
Authored by: bugman 2013-03-27
Parent: [r19165]
Child: [r19167]