diff options
| author | JopStro <[email protected]> | 2020-07-27 12:15:56 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-07-27 12:15:56 +0100 |
| commit | e0e4a6e1bb82a90e2d9dc31294d7fec621aacecc (patch) | |
| tree | bc1a08a06dd49bb978d52939f0bed9771a4ac6f4 /alternative | |
| parent | 75d3e47d6949639047dad8d5a18a3ea91100fa9f (diff) | |
| parent | 00075482e3a7da8f0d85245f2ca79447a3bcb661 (diff) | |
Merge pull request #11 from jwijenbergh/patch-1
Use pgrep instead of grepping ps output
Diffstat (limited to 'alternative')
0 files changed, 0 insertions, 0 deletions