| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | feat: configurable registries (#1016) | William Boman | 2023-02-20 | 1 | -62/+0 |
| | | |||||
| * | fix(tectonic): pin version (#708) | William Boman | 2022-11-30 | 1 | -2/+5 |
| | | | | | | | | | This is far from ideal. This is needed because the repository hosts multiple different projects. The current mechanism to resolve the "latest" release is not compatible with this and may end up selecting a release for a different project. Closes #544. | ||||
| * | feat: more competent platform detection (#436) | William Boman | 2022-09-17 | 1 | -2/+2 |
| | | |||||
| * | feat: add tectonic (#249) | Vu Le Thanh | 2022-08-06 | 1 | -0/+59 |
| Co-authored-by: William Boman <william@redwill.se> | |||||
 |
index : mason | |
| [no description] | git mirrorbot |
| aboutsummaryrefslogtreecommitdiffstats |