diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-03-31 18:44:27 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-03-31 18:44:27 +0100 |
commit | 182bb10b5a2ea49fc190e1a3f510980669fe2fb1 (patch) | |
tree | e9fb305fe65730c8461f4ba426283952ed421192 | |
parent | 0a69452b0f48e94557557cf0ceb47d9429384596 (diff) | |
download | gitolite-admin-182bb10b5a2ea49fc190e1a3f510980669fe2fb1.tar.gz gitolite-admin-182bb10b5a2ea49fc190e1a3f510980669fe2fb1.zip |
Add ox-tufte as a mode
-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 35a3dca..b0f7024 100644 --- a/conf/gitolite.conf +++ b/conf/gitolite.conf @@ -7,7 +7,7 @@ @github-srht-mirror = compcert @srht-mirror = choc hugo-ymherklotz yannherklotz.com private/zk private/biteq compcert-kvx -@srht-mirror = vericert-kvx ymhg-notes +@srht-mirror = vericert-kvx ymhg-notes ox-tufte @active = @github-mirror @srht-mirror @github-srht-mirror ymherklotz/gsa-mlir |