diff options
author | 2005-09-30 10:34:55 +0000 | |
---|---|---|
committer | 2005-09-30 10:34:55 +0000 | |
commit | 04fd141d7aaae0b6025082ee519377cd98e5a718 (patch) | |
tree | d8a6c4cb7fadc36ecb763840172efd8999991b69 /etc/isa/multiple/Err.thy | |
parent | aea12608a1c2b10b8990c6f01e2495345ecee91f (diff) |
Dont overwrite distribution version of xml.el, only use fixed version for XEmacs.
Diffstat (limited to 'etc/isa/multiple/Err.thy')
0 files changed, 0 insertions, 0 deletions