typeset/.gitignore