diff options
| author | Charlie39 <charlie39@users.noreply.github.com> | 2020-04-23 01:45:53 +0530 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-22 16:15:53 -0400 |
| commit | 18113aad1a0f50f8596486f64332eed859a79813 (patch) | |
| tree | fec6d9625bf0756cf1e237c5afe872a77da9acc7 /.config%25253fid%25253d5d59b3927da16f589dfb961e54a86e6f14a480d6%253fid%253d349668f423542119770d2deb5e815442e4b1fa0d%3fid%3d18113aad1a0f50f8596486f64332eed859a79813?id=18113aad1a0f50f8596486f64332eed859a79813 | |
| parent | 933e4149d350f0c73a003a94a6cee45f277a6c17 (diff) | |
Replaced pgrep with pidof (#592)
* dwm compliant
revised PR
* replaced pgrep with pidof
because it is faster!
* Update music
Diffstat (limited to '.config%25253fid%25253d5d59b3927da16f589dfb961e54a86e6f14a480d6%253fid%253d349668f423542119770d2deb5e815442e4b1fa0d%3fid%3d18113aad1a0f50f8596486f64332eed859a79813?id=18113aad1a0f50f8596486f64332eed859a79813')
0 files changed, 0 insertions, 0 deletions