etc/isa-settings.el
changeset 12889 1de4f0b824a8
parent 9226 cbe6144f0f15