close #434: add a global option tinytex.tlmgr_update to make it pos…
#275
| Job | Run time |
|---|---|
| 5m 44s | |
| 5m 44s |
tinytex.tlmgr_update to make it pos…
#275
| Job | Run time |
|---|---|
| 5m 44s | |
| 5m 44s |