Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Make title bars even smaller | Jakob Odersky | 2016-05-25 | 1 | -1/+1 |
* | Shrink header bars in gnome 3.20 | Jakob Odersky | 2016-05-24 | 1 | -6/+6 |
* | shrink gnome title bars | Jakob Odersky | 2015-10-31 | 1 | -0/+11 |
index : dotfiles | ||
Home configuration files and scripts. |
aboutsummaryrefslogtreecommitdiff |
Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Make title bars even smaller | Jakob Odersky | 2016-05-25 | 1 | -1/+1 |
* | Shrink header bars in gnome 3.20 | Jakob Odersky | 2016-05-24 | 1 | -6/+6 |
* | shrink gnome title bars | Jakob Odersky | 2015-10-31 | 1 | -0/+11 |