Merge pull request #326482 from GaetanLepage/typst-preview

typst-preview: explicitly add name in deprecation message
This commit is contained in:
Pol Dellaiera 2024-07-12 10:08:33 +02:00 committed by GitHub
commit 2977213b60
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -1374,7 +1374,7 @@ mapAliases ({
trustedGrub-for-HP = throw "trustedGrub-for-HP has been removed, because it is not maintained upstream anymore"; # Added 2023-05-10
tvbrowser-bin = tvbrowser; # Added 2023-03-02
typst-fmt = typstfmt; # Added 2023-07-15
typst-preview = throw "The features of this program have been consolidated to 'tinymist', an all-in-one language server for typst"; # Added 2024-07-07
typst-preview = throw "The features of 'typst-preview' have been consolidated to 'tinymist', an all-in-one language server for typst"; # Added 2024-07-07
### U ###