]> git.tuebingen.mpg.de Git - paraslash.git/commitdiff
Trivial: Rename completion_result variables.
authorAndre Noll <maan@tuebingen.mpg.de>
Wed, 14 Mar 2018 01:14:58 +0000 (02:14 +0100)
committerAndre Noll <maan@tuebingen.mpg.de>
Sun, 22 Apr 2018 18:30:37 +0000 (20:30 +0200)
Most completers call the completion result pointer "cr", but some use
"result" instead. Let's be consistent and rename those to cr.


No differences found