diff options
author | Paul Vinciguerra <pvinci@vinciconsulting.com> | 2019-11-26 14:15:53 -0500 |
---|---|---|
committer | Ole Trøan <otroan@employees.org> | 2019-11-27 08:35:05 +0000 |
commit | 99fbf0574f099f09b7b46dcabe5bb50d78091dce (patch) | |
tree | 63aec89b78e2d61c8a5314b2da93a58224ae502a /extras/bash | |
parent | 9efcee6e7babd49999af3e3dcd13ee33d0a4c02d (diff) |
papi: fix typo in repr
Reported by Vratko's review.
(Thanks for the review)
Fixes: 14b0b4791c0b8c886e7b5c9ca667d060f0bada0b
Type: fix
Change-Id: I9c080c0c40060cc77977e76edae03d60eb393ce2
Signed-off-by: Paul Vinciguerra <pvinci@vinciconsulting.com>
Diffstat (limited to 'extras/bash')
0 files changed, 0 insertions, 0 deletions