diff options
| author | William Boman <william@redwill.se> | 2022-11-30 03:47:55 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-11-30 03:47:55 +0100 |
| commit | 175408f0ae1361f2be1cf716f03912b646228c80 (patch) | |
| tree | ce805207c163cfe31c3a60c1591c368e46f6f4b6 /scripts/lua/mason-scripts/utils.lua | |
| parent | feat(ui): add keybind on section headers for cancelling installation of the e... (diff) | |
| download | mason-175408f0ae1361f2be1cf716f03912b646228c80.tar mason-175408f0ae1361f2be1cf716f03912b646228c80.tar.gz mason-175408f0ae1361f2be1cf716f03912b646228c80.tar.bz2 mason-175408f0ae1361f2be1cf716f03912b646228c80.tar.lz mason-175408f0ae1361f2be1cf716f03912b646228c80.tar.xz mason-175408f0ae1361f2be1cf716f03912b646228c80.tar.zst mason-175408f0ae1361f2be1cf716f03912b646228c80.zip | |
fix(tectonic): pin version (#708)
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.
Diffstat (limited to 'scripts/lua/mason-scripts/utils.lua')
0 files changed, 0 insertions, 0 deletions