chiark / gitweb /
drwho.epls: Delete pointless `!iso' setting.