diff options
Diffstat (limited to 'users/Profpatsch/alacritty.dhall')
| -rw-r--r-- | users/Profpatsch/alacritty.dhall | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/users/Profpatsch/alacritty.dhall b/users/Profpatsch/alacritty.dhall deleted file mode 100644 index c8a976cccc72..000000000000 --- a/users/Profpatsch/alacritty.dhall +++ /dev/null @@ -1,6 +0,0 @@ -{ alacritty-config = { font.size = 18, scolling.history = 1000000 } - , -- This disables the dpi-sensitive scaling (cause otherwise the font will be humongous on my laptop screen) - alacritty-env - . WINIT_X11_SCALE_FACTOR - = 1 - } |