chiark / gitweb /
EXTRAS: cleanup and sync all Makefiles