Add open document option - #733

Merged

pkgw merged 6 commits into

tectonic-typesetting:masterfrom

jeffa5:add-open-option

Jan 12, 2021

Commits on Jan 11, 2021

Add open document option
Andrew Jeffery
committed
9f4fc16

Commits on Jan 12, 2021

Add open docs
Andrew Jeffery
committed
13071ff
Sort dependencies
Andrew Jeffery
committed
ce7fab0
Update reporting
Andrew Jeffery
committed
d8a37cb
Remove unused use
Andrew Jeffery
committed
4fb7829
Add test
Andrew Jeffery
committed
0d0c051