joachim/dotfiles
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

update srcfile

Browse source
This commit is contained in:
joachimschmidt557 2022-08-07 20:38:35 +02:00
parent 2b35ed7e76
commit c17feb4e88
No known key found for this signature in database
GPG key ID: E0B575BE2884ACC5
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
srcfiles/src
View file

@ -274,6 +274,7 @@ git https://github.com/chipsalliance/Surelog Surelog
git https://github.com/ACESLabUCSD/TinyGarbleCircuitSynthesis TinyGarbleCircuitSynthesis
git https://github.com/chivay/zig-nightly zig-nightly
git https://github.com/DNSCrypt/encrypted-dns-server encrypted-dns-server
git https://gitlab.com/oeffi/oeffi.git oeffi
# My own projects
git git@github.com:ziglibs/lscolors zig-lscolors