Commit message (Expand) | Author | Age | Lines | |
---|---|---|---|---|
* | add mixrank back, change emacs theme and background alpha change | Leonardo Santiago | 2024-05-12 | -13/+1 |
* | update stuff to make new framework laptop work. | Leonardo Santiago | 2024-05-12 | -4/+3 |
* | dynamic opacity, please! | Leonardo Santiago | 2024-05-06 | -2/+2 |
* | 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 |