chiark / gitweb /
[PATCH] small ide-devfs.sh fix