diff options
| author | Manuel Palenzuela <[email protected]> | 2019-06-12 10:18:03 +0200 |
|---|---|---|
| committer | Manuel Palenzuela <[email protected]> | 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
|