diff options
| author | Teddy Wing | 2019-06-17 20:23:28 +0200 |
|---|---|---|
| committer | Teddy Wing | 2019-06-17 20:23:28 +0200 |
| commit | ccd5d657bf0550c269c2c3da4925c81fd71e420c (patch) | |
| tree | ac30d6773acee5e1bc25f2ec42f05f0f5d5ff212 /code-review-start | |
| parent | 4a97c5b9d9a367916b86db922bc913e99c6b17c0 (diff) | |
| download | code-review-ccd5d657bf0550c269c2c3da4925c81fd71e420c.tar.bz2 | |
code-review-difftool: Retain old `extglob` setting
If `extglob` was set, we'd always unset it. Check to see if it's set
before doing anything with it, and then restore it to its original
value.
Diffstat (limited to 'code-review-start')
0 files changed, 0 insertions, 0 deletions