diff options
author | Florian Dold <florian.dold@gmail.com> | 2017-05-29 16:27:53 +0200 |
---|---|---|
committer | Florian Dold <florian.dold@gmail.com> | 2017-05-29 16:27:53 +0200 |
commit | 1c3346cd534143f4dd56a625b963a1a3acfa83d1 (patch) | |
tree | e7c3571e63e35f745571b606e1d0db9bc80f6675 /contrib | |
parent | d0e0c6baf274aab378233a7ae0d67307c03b3a7c (diff) |
less ad-hoc messaging, fix some lint warnings
Diffstat (limited to 'contrib')
0 files changed, 0 insertions, 0 deletions