gwernpurge all self-closing HTML tags from backend (useless or harmful in HTML5 now, and we need to be consistent)96fe4a51 year agoHistory
NameLast commit messageLast commit date
..
Arxiv.hs+1 year ago
Biorxiv.hsrefactor Metadata*.hs files to Metadata/*.hs; split out a Metadata/Date too2 years ago
Gwernnet.hspurge all self-closing HTML tags from backend (useless or harmful in HTML5 now, and we need to be consistent)1 year ago
OpenReview.hsdeprecate 'keywords' inside annotations as waste of space, but preserve in HTML comments in case of reversal and/or for the embedder1 year ago
PDF.hslock down all Config.* imports as qualified imports1 year ago