diff options
| author | Karl Berry <karl@freefriends.org> | 2023-02-25 02:07:20 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2023-02-25 02:07:20 +0000 |
| commit | 3c39216b84d169ef3232ad6269b73ca26f9194a6 (patch) | |
| tree | e9761c824f6e2151aaae784e726ec91439e4abb5 /Master/bin/x86_64-solaris/mflua-nowin | |
| parent | 9819b68cadbfd13c775a0bd7856bf258e716cc4e (diff) | |
test for grep -E vs. egrep, since neither is universally supported any more
git-svn-id: svn://tug.org/texlive/trunk@66142 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/bin/x86_64-solaris/mflua-nowin')
0 files changed, 0 insertions, 0 deletions