Commit message (Expand) | Author | Age | Lines | |
---|---|---|---|---|
* | use mixrank as gitlab input | Leonardo Santiago | 2024-05-01 | -14/+7 |
* | fix proof-general | Leonardo Santiago | 2024-04-25 | -2/+2 |
* | change theme to wombat | Leonardo Santiago | 2024-04-12 | -3/+4 |
* | change theme | Leonardo Santiago | 2024-04-03 | -2/+2 |
* | rekey, update theme | Leonardo Santiago | 2024-04-02 | -3/+2 |
* | fix some stuff | Leonardo Santiago | 2024-04-02 | -5/+12 |
* | enable touch gestures, finally | Leonardo Santiago | 2024-03-20 | -0/+1 |
* | add some more configurations, increase opacity for emacs blur | Leonardo Santiago | 2024-03-18 | -2/+18 |
* | activate more flags in emacs | Leonardo Santiago | 2024-03-14 | -1/+7 |
* | first commit | Leonardo Santiago | 2024-03-14 | -0/+639 |