chiark / gitweb /
New ktype operation `k_import'.