Merge pull request #3372 from philsmd/tab_completion_whitespace

remove extra whitespace (double space) in tab completion script
pull/3381/head
Jens Steube 2 years ago committed by GitHub
commit ae14579d9b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
Loading…
Cancel
Save