Skip to content

Merge branch 'HoTT:master' into microtype

2748da2
Select commit
Loading
Failed to load commit list.
Open

enable pdftex extensions with \usepackage{microtype} #584

Merge branch 'HoTT:master' into microtype
2748da2
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs