From 37b5508ff73d87ee2bac4659849136e1ca9fcfe8 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Fri, 11 Nov 2022 16:32:32 +0000 Subject: Add picorv32 fork --- conf/gitolite.conf | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/conf/gitolite.conf b/conf/gitolite.conf index 6888762..44e3272 100644 --- a/conf/gitolite.conf +++ b/conf/gitolite.conf @@ -1,6 +1,6 @@ @admin = ymherklotz -@forks = forks/smtcoq +@forks = forks/smtcoq forks/picorv32 @github-mirror = leela Vivant alluvial-hs pfm @github-mirror = median-cut mirror-ball FMark MipsCPU YAGE Compiler Simplex -- cgit