diff options
| author | William Carroll <wpcarro@gmail.com> | 2020-08-31T13·36+0100 |
|---|---|---|
| committer | William Carroll <wpcarro@gmail.com> | 2020-08-31T13·42+0100 |
| commit | 84d6fb8f39da41ea3f908b6cbe95c9c9bb4d81f1 (patch) | |
| tree | 27f29cdbd7fb93ff1a3c7f027dfe3537fa907362 /tools | |
| parent | a2d45c8db75a5656d8ba7ef2c88fb532f4b41805 (diff) | |
Lint window-manager.el
- change `exwm/` prefixes to `window-manager-` - add Version, URL, Package-Requires sections - move `pkill` into wpc-misc.el - unify `window-manager,` `exwm` competing prefixes
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions