etc/isa-settings.el
changeset 3971 b19d38604042
parent 3304 08952002358d
child 4927 18eaed36a51e
equal deleted inserted replaced
3970:e1843233c694 3971:b19d38604042