chiark / gitweb /
[PATCH] get_dev_number() in extras/ide-devfs.sh