chiark / gitweb /
Removed some unnecessary utility functions.