diff options
| author | Markus Mittendrein <git@maxmitti.tk> | 2019-05-23 14:40:40 +0200 |
|---|---|---|
| committer | Markus Mittendrein <git@maxmitti.tk> | 2019-05-23 14:40:40 +0200 |
| commit | 4fa7002fb14853068f7eb090b2d231f591444918 (patch) | |
| tree | 669032eace7461e3be68df7e4f65345fcf8e15f0 /src/CRSMLogging.cpp | |
| parent | 513c0ba21b2c363c72ca75c041b9ef852bf33ee3 (diff) | |
| download | manager-4fa7002fb14853068f7eb090b2d231f591444918.tar.gz manager-4fa7002fb14853068f7eb090b2d231f591444918.zip | |
Don't use guessed correction if an exact match is following in findCommand
Diffstat (limited to 'src/CRSMLogging.cpp')
0 files changed, 0 insertions, 0 deletions