etc/isa-settings.el
changeset 13427 b429fd98549c
parent 9226 cbe6144f0f15