Merge pull request #3519 from sorairolake/change-zig-url

chore: Change URL of Zig submodule from GitHub to Codeberg
This commit is contained in:
Keith Hall authored and GitHub committed 2025-12-06 13:18:58 +02:00
commit 4d188e45fe
2 files changed
+3 -1

No files matched your search

+1 -1
View File
@@ -196,7 +196,7 @@
url = https://github.com/leanprover/vscode-lean4.git
[submodule "assets/syntaxes/02_Extra/Zig"]
path = assets/syntaxes/02_Extra/Zig
url = https://github.com/ziglang/sublime-zig-language.git
url = https://codeberg.org/ziglang/sublime-zig-language.git
[submodule "assets/syntaxes/02_Extra/gnuplot"]
path = assets/syntaxes/02_Extra/gnuplot
url = https://github.com/hesstobi/sublime_gnuplot
+2
View File
@@ -10,6 +10,8 @@
## Syntaxes
- Change the URL of Zig submodule from GitHub to Codeberg, see #3519 (@sorairolake)
## Themes
## `bat` as a library