summaryrefslogtreecommitdiff
path: root/systems/knuth/dist/mf/trap.pl
diff options
context:
space:
mode:
Diffstat (limited to 'systems/knuth/dist/mf/trap.pl')
-rwxr-xr-x[-rw-r--r--]systems/knuth/dist/mf/trap.pl0
1 files changed, 0 insertions, 0 deletions
diff --git a/systems/knuth/dist/mf/trap.pl b/systems/knuth/dist/mf/trap.pl
index bae32a41fb..bae32a41fb 100644..100755
--- a/systems/knuth/dist/mf/trap.pl
+++ b/systems/knuth/dist/mf/trap.pl