3 commits

Author	SHA1	Message	Date
dadada	ac3ba714b8	Remove deactivated texlive override	2020-03-01 19:19:49 +01:00
dadada	0f1a1794de	Add source of updmap hack	2020-03-01 19:17:48 +01:00
dadada	f911b2c574	Add overlay for tubslatex	2020-03-01 19:14:58 +01:00