From c17feb4e88a0a93b956e43d9789f4ae719b27031 Mon Sep 17 00:00:00 2001 From: joachimschmidt557 Date: Sun, 7 Aug 2022 20:38:35 +0200 Subject: [PATCH] update srcfile --- srcfiles/src | 1 + 1 file changed, 1 insertion(+) diff --git a/srcfiles/src b/srcfiles/src index 97482d3..460039a 100644 --- a/srcfiles/src +++ b/srcfiles/src @@ -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