diff options
| author | Tej Chajed | 2017-03-10 12:00:35 -0500 |
|---|---|---|
| committer | Maxime Dénès | 2017-06-23 10:32:19 +0200 |
| commit | 5ddad92dfc81b0333990dc1956544e924a14600a (patch) | |
| tree | 4d37e6dc8bdf91483f15c12706864652fe0170e4 /test-suite/output/RecognizePluginWarning.out | |
| parent | 965960bcd13eb3a6e531b03fb85be516dcdca551 (diff) | |
Add tests for handling of warnings
Diffstat (limited to 'test-suite/output/RecognizePluginWarning.out')
| -rw-r--r-- | test-suite/output/RecognizePluginWarning.out | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/test-suite/output/RecognizePluginWarning.out b/test-suite/output/RecognizePluginWarning.out new file mode 100644 index 0000000000..e69de29bb2 --- /dev/null +++ b/test-suite/output/RecognizePluginWarning.out |