|
|
|
last edited 17 years ago by kratt6 |
Edit history for #144 Domain abbreviation is no longer associated with filename
| Version | Note | Size | Editor | Time |
|---|---|---|---|---|
| different fixes by different versions. I don't know about open-axiom though | 6983 | kratt6 | 2007/12/20 09:48:53 GMT-8 | |
| fixed by 20071206.01.tpd.patch | 6706 | daly | 2007/12/20 05:54:11 GMT-8 | |
| What to do with this fix? | 6412 | 2007/11/17 21:57:41 GMT-8 |