diff options
Diffstat (limited to 'gawk.fns')
| -rw-r--r-- | gawk.fns | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/gawk.fns b/gawk.fns deleted file mode 100644 index bfd931c1..00000000 --- a/gawk.fns +++ /dev/null @@ -1,13 +0,0 @@ -\initial {G} -\entry {{\fam \ttfam \tentt \rawbackslash \frenchspacing getline}\hbox {}}{32} -\entry {{\fam \ttfam \tentt \rawbackslash \frenchspacing gsub}\hbox {}}{97} -\initial {L} -\entry {{\fam \ttfam \tentt \rawbackslash \frenchspacing length}\hbox {}}{95} -\initial {M} -\entry {{\fam \ttfam \tentt \rawbackslash \frenchspacing match}\hbox {}}{95} -\initial {S} -\entry {{\fam \ttfam \tentt \rawbackslash \frenchspacing split}\hbox {}}{96} -\entry {{\fam \ttfam \tentt \rawbackslash \frenchspacing sprintf}\hbox {}}{96} -\entry {{\fam \ttfam \tentt \rawbackslash \frenchspacing sub}\hbox {}}{96} -\entry {{\fam \ttfam \tentt \rawbackslash \frenchspacing substr}\hbox {}}{97} -\entry {{\fam \ttfam \tentt \rawbackslash \frenchspacing system}\hbox {}}{98} |