diff options
author | Manuel Palenzuela <manuelpalenzuelamerino@gmail.com> | 2019-06-12 10:18:03 +0200 |
---|---|---|
committer | Manuel Palenzuela <manuelpalenzuelamerino@gmail.com> | 2019-06-12 10:18:03 +0200 |
commit | 256c1e3dcee279478e40ec5db1d8a7b2f0053306 (patch) | |
tree | 416f5d7f7d943432f4b58b9af9a5ab248a903061 | |
parent | Added easier color switching (diff) | |
download | dmenu-256c1e3dcee279478e40ec5db1d8a7b2f0053306.tar.gz dmenu-256c1e3dcee279478e40ec5db1d8a7b2f0053306.tar.bz2 dmenu-256c1e3dcee279478e40ec5db1d8a7b2f0053306.zip |
Renamed a patch
-rw-r--r-- | patches/dmenu-wm_type.diff (renamed from patches/wm_type.diff) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/patches/wm_type.diff b/patches/dmenu-wm_type.diff
index e0ec320..e0ec320 100644
--- a/patches/wm_type.diff
+++ b/patches/dmenu-wm_type.diff
|