chiark / gitweb /
udevinfo: rename dump() to export()