diff options
| author | Théo Zimmermann | 2017-03-14 16:22:48 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2017-03-14 16:22:48 +0100 |
| commit | 88c02e02a7b6067c78608e9ea526f81fd122edab (patch) | |
| tree | 305a35044440f6d338165f4f512f31f115f97556 /dev | |
| parent | 43524c6689f372b32770c20d19866f2f4edb4cc6 (diff) | |
Fix 3 unused-intro-pattern warnings in stdlib.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions