chiark / gitweb /
Removed code for deprecated tree widget