diff options
Diffstat (limited to 'macros/inrstex/inrsinputs/oldspace.tex')
-rw-r--r-- | macros/inrstex/inrsinputs/oldspace.tex | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/macros/inrstex/inrsinputs/oldspace.tex b/macros/inrstex/inrsinputs/oldspace.tex deleted file mode 100644 index d00be1801f..0000000000 --- a/macros/inrstex/inrsinputs/oldspace.tex +++ /dev/null @@ -1,2 +0,0 @@ -\def\spacing#1{\setbox0=\vbox{\vskip 2.8ex} \baselineskip #1\ht0 - \lineskip=1pt\lineskiplimit=0pt}
\ No newline at end of file |