interface: update to refactoring of frontend InputKind
[isl.git] / include / 
treef66a7a1bfa8444d08c0937d1cfde75214cadd3eb
drwxr-xr-x   ..
drwxr-xr-x - isl