From 656fd9839db2156db89b448edeedb0714ebf2178 Mon Sep 17 00:00:00 2001 From: joachimschmidt557 Date: Mon, 15 Aug 2022 12:56:40 +0200 Subject: [PATCH] Update srcfile --- srcfiles/src | 1 + 1 file changed, 1 insertion(+) diff --git a/srcfiles/src b/srcfiles/src index 460039a..4b72ce4 100644 --- a/srcfiles/src +++ b/srcfiles/src @@ -275,6 +275,7 @@ git https://github.com/ACESLabUCSD/TinyGarbleCircuitSynthesis TinyGarbleCircuitS 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 +git https://github.com/esa-tu-darmstadt/tapasco tapasco # My own projects git git@github.com:ziglibs/lscolors zig-lscolors