3 commits

Author	SHA1	Message	Date
rillig	b686dd9180	all: migrate several HOMEPAGEs to https ... pkglint --only "https instead of http" -r -F With manual adjustments afterwards since pkglint 19.4.4 fixed a few indentations in unrelated lines. This mainly affects projects hosted at SourceForce, as well as freedesktop.org, CTAN and GNU.	2020-01-18 23:30:43 +00:00
markd	95841315da	tex-*: add TEXLIVE_UNVERSIONED=yes	2019-12-06 20:17:03 +00:00
markd	e04cf209bf	Add gfnotation{,-doc} 2.9 ... Typeset Gottlob Frege's notation in plain TeX	2015-07-02 21:02:38 +00:00