diff options
author | Yann Herklotz <git@yannherklotz.com> | 2023-06-01 12:34:58 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2023-06-01 12:34:58 +0100 |
commit | 10d3b7287d12078aad009b0d85f9395a21c0bbf1 (patch) | |
tree | ff8a6d5fd269411e68174e6359ee116e5a0b06fb /conf | |
parent | b765f4e2be59c0091d2826861d89f746d2850088 (diff) | |
download | gitolite-admin-master.tar.gz gitolite-admin-master.zip |
Diffstat (limited to 'conf')
-rw-r--r-- | conf/gitolite.conf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/conf/gitolite.conf b/conf/gitolite.conf index 3392ae5..091e998 100644 --- a/conf/gitolite.conf +++ b/conf/gitolite.conf @@ -12,7 +12,7 @@ @srht-mirror = vericert-kvx ymhg-notes ox-tufte private/zk private/biteq compcert-kvx @srht-mirror = org-zettelkasten zk-visual zk-web zk-theme -@pred-tv-mirror = cohpred SMTCoq +@pred-tv-mirror = cohpred forks/smtcoq @compcertgsa = compcertgsa/dom-complete compcertgsa/compcertgsa compcertgsa/path-expr |