diff options
| author | Maxime Dénès | 2017-03-22 23:25:27 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2017-03-22 23:25:27 +0100 |
| commit | 483dc1f1072d41910ced050c810930c294ec4a3a (patch) | |
| tree | 9ddaf08c03d41427bd0bc9f015ff42606b8229aa /plugins | |
| parent | cd87eac3757d8925ff4ba7dee85efadb195153a3 (diff) | |
| parent | 88c02e02a7b6067c78608e9ea526f81fd122edab (diff) | |
Merge PR#480: show unused intro pattern warning
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions