DEBSOURCES
Skip Quicknav
sources / jadetex / 3.13-17 / jadetex.ini
12345678
% public domain. \let\primitivedump=\dump \let\dump=\relax \input latex.ini \let\dump=\primitivedump \input jadetex.ltx \dump