diff options
-rw-r--r-- | conf/gitolite.conf | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/conf/gitolite.conf b/conf/gitolite.conf index 9730d02..6cfe04c 100644 --- a/conf/gitolite.conf +++ b/conf/gitolite.conf @@ -139,3 +139,9 @@ repo papers/fpga20_fubfst R = @all owner = Yann Herklotz desc = Finding and understanding bugs in FPGA synthesis tools. + +repo papers/latte21_hlstpc + RW+ = ymherklotz + R = @all + owner = Yann Herklotz + desc = High-level synthesis tools should be proven correct. |