etc/isa-settings.el
changeset 14192 d6cb80cc1d20
parent 9226 cbe6144f0f15