chiark / gitweb /
[PATCH] remove 'sudo' usage from the Makefile