chiark / gitweb /
[PATCH] fix example comment in ide-devfs.sh