diff options
Diffstat (limited to 'systems/knuth/local/mf-sparc/ini_to_trap')
-rwxr-xr-x[-rw-r--r--] | systems/knuth/local/mf-sparc/ini_to_trap | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/systems/knuth/local/mf-sparc/ini_to_trap b/systems/knuth/local/mf-sparc/ini_to_trap index c18984179f..c18984179f 100644..100755 --- a/systems/knuth/local/mf-sparc/ini_to_trap +++ b/systems/knuth/local/mf-sparc/ini_to_trap |