diff scripts/miscellaneous/mkoctfile.m @ 17475:0b6f44d31edc default tip Latex-interpreter

Merge with main after adding Windows name fot GS.
author Andrej Lojdl <andrej.lojdl@gmail.com>
date Thu, 19 Sep 2013 22:53:49 +0200 (2013-09-19)
parents 1c89599167a6
children
line wrap: on
line diff