| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Update hooksHEADmaster | Yann Herklotz | 2023-06-01 | 1 | -1/+1 |
| * | Add pred-tv repositories | Yann Herklotz | 2023-06-01 | 1 | -4/+9 |
| * | Add zk-theme repo | Yann Herklotz | 2023-05-12 | 1 | -1/+1 |
| * | Add zk-web | Yann Herklotz | 2023-05-12 | 1 | -1/+1 |
| * | Create zk-visual repository | Yann Herklotz | 2022-12-26 | 1 | -1/+1 |
| * | Add org-zettelkasten | Yann Herklotz | 2022-12-24 | 1 | -0/+1 |
| * | Add ymh-emacs | Yann Herklotz | 2022-11-24 | 1 | -2/+2 |
| * | Add butterstick repository | Yann Herklotz | 2022-11-24 | 1 | -1/+1 |
| * | Fix spacing and some typos | Yann Herklotz | 2022-11-11 | 1 | -25/+25 |
| * | Add descriptions to forks | Yann Herklotz | 2022-11-11 | 1 | -0/+6 |
| * | Add picorv32 fork | Yann Herklotz | 2022-11-11 | 1 | -1/+1 |
| * | Add forks | Yann Herklotz | 2022-08-02 | 1 | -0/+7 |
| * | Add the presentation directory | Yann Herklotz | 2022-05-17 | 1 | -0/+6 |
| * | Add papers directory | Yann Herklotz | 2022-04-19 | 1 | -12/+9 |
| * | Add compcertgsa repositories | Yann Herklotz | 2022-04-19 | 1 | -1/+8 |
| * | Add ox-tufte as a mode | Yann Herklotz | 2022-03-31 | 1 | -1/+1 |
| * | Merge remote-tracking branch 'origin/master' | Yann Herklotz | 2022-03-21 | 1 | -1/+5 |
| |\ | |||||
| | * | Create a new repository for vericert-kvx | Yann Herklotz | 2022-03-10 | 1 | -0/+1 |
| | * | Add compcert-kvx repository | Yann Herklotz | 2022-03-09 | 1 | -1/+1 |
| | * | Create choc repository | Yann Herklotz | 2022-03-09 | 1 | -1/+4 |
| * | | Add ymhg-notes repository | Yann Herklotz | 2022-03-21 | 1 | -1/+4 |
| |/ | |||||
| * | Add biteq to the mirror | Yann Herklotz | 2022-03-05 | 1 | -1/+1 |
| * | Add private/zk to the srht-mirror list | Yann Herklotz | 2022-03-04 | 1 | -2/+1 |
| * | Add compcert repository | Yann Herklotz | 2022-02-23 | 1 | -0/+4 |
| * | Make me a creator | Yann Herklotz | 2022-01-04 | 1 | -5/+1 |
| * | Update permissions | Yann Herklotz | 2022-01-04 | 1 | -4/+4 |
| * | Update configuration | Yann Herklotz | 2022-01-04 | 1 | -1/+1 |
| * | Update gitolite | Yann Herklotz | 2022-01-04 | 1 | -4/+9 |
| * | Add new files to srht-mirror | Yann Herklotz | 2021-12-24 | 1 | -2/+2 |
| * | Add explicit private repo | Yann Herklotz | 2021-12-12 | 1 | -5/+8 |
| * | Add a better config | Yann Herklotz | 2021-12-12 | 1 | -0/+5 |
| * | Add srht mirror back | Yann Herklotz | 2021-12-09 | 1 | -2/+2 |
| * | Remove sr.ht mirror | Yann Herklotz | 2021-12-09 | 1 | -1/+1 |
| * | Add srht mirror | Yann Herklotz | 2021-12-09 | 1 | -1/+6 |
| * | Add latte paper | Yann Herklotz | 2021-10-07 | 1 | -0/+6 |
| * | Add descriptions to papers | Yann Herklotz | 2021-10-07 | 1 | -0/+3 |
| * | Update repository list | Yann Herklotz | 2021-10-07 | 1 | -2/+14 |
| * | Rename archive to zzz | Yann Herklotz | 2021-09-28 | 1 | -18/+18 |
| * | Rename imperial_2015 | Yann Herklotz | 2021-09-28 | 1 | -1/+1 |
| * | Add some more descriptions | Yann Herklotz | 2021-09-28 | 1 | -0/+30 |
| * | Add gitlab mirrors | Yann Herklotz | 2021-09-28 | 1 | -4/+15 |
| * | Add F sharp | Yann Herklotz | 2021-09-28 | 1 | -1/+1 |
| * | Add repository descriptions | Yann Herklotz | 2021-09-28 | 1 | -0/+33 |
| * | Fix formatting | Yann Herklotz | 2021-09-28 | 1 | -15/+15 |
| * | Add configuration for archives | Yann Herklotz | 2021-09-28 | 1 | -9/+14 |
| * | Add repositories | Yann Herklotz | 2021-09-28 | 1 | -1/+9 |
| * | Change location of some of the files | Yann Herklotz | 2021-09-27 | 1 | -9/+9 |
| * | Add new mirrored repositories | Yann Herklotz | 2021-09-27 | 1 | -6/+14 |
| * | Fix indentation | Yann Herklotz | 2021-09-27 | 1 | -1/+1 |
| * | Add vericert to the mirrored list | Yann Herklotz | 2021-09-27 | 1 | -0/+5 |
 |
index : gitolite-admin | |
| Unnamed repository; edit this file 'description' to name the repository. |
| summaryrefslogtreecommitdiffstats |