diff options
| author | Robin Jarry <robin@jarry.cc> | 2022-04-14 21:47:06 +0200 |
|---|---|---|
| committer | Robin Jarry <robin@jarry.cc> | 2022-04-14 21:51:09 +0200 |
| commit | 02b7f7401682ffcfb2ebf1c4a2900b8f40908db4 (patch) | |
| tree | d48ba67964a92bdf548e8768046363cfce53e738 /widgets | |
| parent | ba892d776947e9494b10eb820cf6d35d3bb263c6 (diff) | |
| download | aerc-02b7f7401682ffcfb2ebf1c4a2900b8f40908db4.zip | |
mk: do not depend on cmp being available
cmp is part of gnu diffutils which may not be available. Use grep which
is more widespread.
Signed-off-by: Robin Jarry <robin@jarry.cc>
Diffstat (limited to 'widgets')
0 files changed, 0 insertions, 0 deletions