diff options
author | Matthieu Sozeau <mattam@mattam.org> | 2015-07-22 17:18:17 +0200 |
---|---|---|
committer | Matthieu Sozeau <mattam@mattam.org> | 2015-07-22 17:18:17 +0200 |
commit | c07a9f1e558ab55de3011cbfc9749391ed60c768 (patch) | |
tree | 1a376435c4d2b1c0ff5ce2ba9c3534233ccd1976 /plugins/rtauto/Rtauto.v | |
parent | 246a5011d7a794835aa0f9ca198b3a4a74031ed6 (diff) |
Fix incomplete pattern-matching.
I was not seeing the warning due to the 10 deprecation warnings before
it...
Diffstat (limited to 'plugins/rtauto/Rtauto.v')
0 files changed, 0 insertions, 0 deletions