chiark / gitweb /
[PATCH] remove usage of expr in ide-devfs.sh