Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Update hooksHEADmaster | Yann Herklotz | 2023-06-01 | 3 | -3/+3 |
* | Add pred-tv repositories | Yann Herklotz | 2023-06-01 | 2 | -4/+10 |
* | Add zk-theme repo | Yann Herklotz | 2023-05-12 | 1 | -1/+1 |
* | Add zk-web | Yann Herklotz | 2023-05-12 | 1 | -1/+1 |
* | Update keys | Yann Herklotz | 2023-04-04 | 2 | -1/+1 |
* | Add Diana Rigg back | Yann Herklotz | 2023-03-18 | 3 | -2/+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 emmapeel key | Yann Herklotz | 2022-11-30 | 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 |
* | Add mbp-fedora public key | Yann Herklotz | 2022-11-18 | 1 | -0/+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 |
* | Make executable | Yann Herklotz | 2022-07-26 | 1 | -0/+0 |
* | Merge remote-tracking branch 'origin/master' | Yann Herklotz | 2022-07-26 | 1 | -0/+6 |
|\ | |||||
| * | Add the presentation directory | Yann Herklotz | 2022-05-17 | 1 | -0/+6 |
* | | Add local command | Yann Herklotz | 2022-07-26 | 1 | -0/+3 |
|/ | |||||
* | 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 | 2 | -1/+6 |
* | Update the mirror push | Yann Herklotz | 2021-12-09 | 1 | -1/+1 |
* | Add execute permissions | Yann Herklotz | 2021-12-09 | 1 | -0/+0 |
* | 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 | 2 | -1/+7 |
* | 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 | 2 | -4/+16 |