chiark / gitweb /
gpt-auto-generator: skip nonexistent devices