chiark / gitweb /
get rid of junk file x.gdb