chore(users/Profpatsch/alacritty): inline dhall config r/6102

Change-Id: I1e5e5fcd1e065f42ea2cff555d6fce7d54b5aae8
Reviewed-on: https://cl.tvl.fyi/c/depot/+/8498
Autosubmit: Profpatsch <mail@profpatsch.de>
Reviewed-by: Profpatsch <mail@profpatsch.de>
Tested-by: BuildkiteCI

1 files changed, 0 insertions, 6 deletions

diff --git a/users/Profpatsch/alacritty.dhall b/users/Profpatsch/alacritty.dhall
deleted file mode 100644
index c8a976cccc..0000000000
--- 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
-    }