| Commit message (Expand) | Author | Age | Lines | |
|---|---|---|---|---|
| * | use mixrank as gitlab input | Leonardo Santiago | 2024-05-01 | -1/+7 |
| * | fix proof-general | Leonardo Santiago | 2024-04-25 | -2/+2 |
| * | change theme to wombat | Leonardo Santiago | 2024-04-12 | -3/+3 |
| * | change theme | Leonardo Santiago | 2024-04-03 | -2/+2 |
| * | fix some stuff | Leonardo Santiago | 2024-04-02 | -5/+12 |
| * | activate more flags in emacs | Leonardo Santiago | 2024-03-14 | -1/+7 |
| * | first commit | Leonardo Santiago | 2024-03-14 | -0/+506 |
 |
index : nixos | |
| all of my computers' infrastructure in nixos | santi |
| summaryrefslogtreecommitdiff |