diff options
| author | Mattias Andrée <maandree@kth.se> | 2023-11-25 18:08:34 +0100 |
|---|---|---|
| committer | Mattias Andrée <maandree@kth.se> | 2023-11-25 18:08:34 +0100 |
| commit | 5b7e0db847c46affc207c327835d1efd3b2727de (patch) | |
| tree | 764855cde8a304641a359e907157dc0525ff8a20 /grep/Makefile | |
| parent | Update dmenu to use different fonts (primary size due to different DPI, distance, and screen size) on different computers (diff) | |
| download | dotfiles-5b7e0db847c46affc207c327835d1efd3b2727de.tar.gz dotfiles-5b7e0db847c46affc207c327835d1efd3b2727de.tar.bz2 dotfiles-5b7e0db847c46affc207c327835d1efd3b2727de.tar.xz | |
Misc updates
Signed-off-by: Mattias Andrée <maandree@kth.se>
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions