| Commit message (Expand) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | Configure high dpi display | Jakob Odersky | 2016-07-08 | 1 | -0/+8 | |
| * | 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 | |
| * | Add terminator conf | Jakob Odersky | 2016-03-28 | 1 | -0/+30 | |
| * | shrink gnome title bars | Jakob Odersky | 2015-10-31 | 1 | -0/+11 | |
 |
index : dotfiles | |
| Home configuration files and scripts. |
| aboutsummaryrefslogtreecommitdiff |