diff options
author | Drew DeVault <sir@cmpwn.com> | 2018-10-21 19:18:39 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-10-21 19:18:39 +0200 |
commit | e0cf97da6965cb7717742efa7be93ed4233e53aa (patch) | |
tree | fd7d74383c114bb8b05a388976d39e86416460ce /examples/.gitignore | |
parent | be6210cf8216c08a91e085dac0ec11d0e34fb217 (diff) | |
parent | a9e02a9ea6dcf45d2c36d6f19a7761746dd85a87 (diff) |
Merge pull request #1307 from emersion/static-analysis
Fix a few bugs found by the static analyzer
Diffstat (limited to 'examples/.gitignore')
0 files changed, 0 insertions, 0 deletions