Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- toks0={...}
- immediateopenout0=file
- immediatewrite0{thetoks0}
- immediatecloseout0
- input file
- scantokens{...begingroupifnumthecatcodeendlinechar>0 ifnumthecatcodeendlinechar>255elsecatcodeendlinechar=14 fifi}endgroup
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement