Next Hold Space 6

Filtering printer motions

        %%
        "_\010" { }
        .       { putchar(*yytext); }
       sed -e 's/_\x08//g'    # perl version was   "s/_\cH//g;"

Next Copyright © 2011 M. J. Dominus