diff options
author | Vincent Ambo <mail@tazj.in> | 2021-09-15T19·35+0300 |
---|---|---|
committer | Vincent Ambo <mail@tazj.in> | 2021-09-15T19·35+0300 |
commit | cefff2ca25b327c3b7d5925f75d19419796acb2d (patch) | |
tree | 3fc362939bfc172acf9fe1d38b7d5c95d2136edd /.gitignore | |
parent | 7894d7e178ac542f2542b71b10cb34e99080acd7 (diff) | |
parent | 0368127976bda29d35eed788edfe74644ecd3845 (diff) |
chore(3p/exwm): Subtree EXWM ... again
Upstream EXWM is now sort-of unmaintained[0], but some important PRs are pending[1] which I would like to absorb here somehow. [0]: https://github.com/ch11ng/exwm/issues/845 [1]: https://github.com/ch11ng/exwm/pull/848 git-subtree-dir: third_party/exwm git-subtree-mainline: 7894d7e178ac542f2542b71b10cb34e99080acd7 git-subtree-split: 0368127976bda29d35eed788edfe74644ecd3845 Change-Id: I078358c0ea1d2bac99111748ce9c137d2804ac4e
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions