diff options
| author |   Guillaume Lambert <guillaume.lambert@orange.com> | 2021-03-11 13:42:23 +0100 |
|---|---|---|
| committer | Guillaume Lambert <guillaume.lambert@orange.com> | 2021-06-16 17:31:03 +0000 |
| commit | 134188daef48f9c1fadad5b26b4fb1e6417e4304 (patch) | |
| tree | 05c74c5b3dee688de0d52e616a5f286a27955081 /.gitlint | |
| parent | f11d35a6320c98785c6c2ec2a84c8a2988a4b732 (diff) | |
[COMMON] Fix $BASH_SOURCE and pushd/popd bashisms
pointed out by checkbashisms.
Issue-ID: OOM-2643
Signed-off-by: Guillaume Lambert <guillaume.lambert@orange.com>
Change-Id: Ic9c4edc0fc6bd94a95bcb85d84379e868fb09930
Diffstat (limited to '.gitlint')
0 files changed, 0 insertions, 0 deletions