chiark / gitweb /
Fix a typo in devel.but.