From ea530ddcf39f3bd28530ce72ca414d5ee66d1413 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?John=20Ankarstr=C3=B6m?= <john@ankarstrom.se>
Date: Wed, 7 Apr 2021 19:55:57 +0200
Subject: Use sh instead of batch, support custom hotkeys

---
 patch.bat | 9 ---------
 1 file changed, 9 deletions(-)
 delete mode 100644 patch.bat

(limited to 'patch.bat')

diff --git a/patch.bat b/patch.bat
deleted file mode 100644
index 5ccd33e..0000000
--- a/patch.bat
+++ /dev/null
@@ -1,9 +0,0 @@
-@echo off
-setlocal
-cd /d %~dp0
-if "%~1" == "" (
-  echo Error: argument missing
-  pause
-  exit /b
-)
-sed "s/^    ; Custom rules$/    #IncludeAgain %%A_ScriptDir%%\\\\drm.x/" "%~1" > drm.ahk
\ No newline at end of file
-- 
cgit v1.2.3