diff options
| author | Willem Jan Palenstijn <Willem.Jan.Palenstijn@cwi.nl> | 2015-11-30 16:07:52 +0100 |
|---|---|---|
| committer | Willem Jan Palenstijn <Willem.Jan.Palenstijn@cwi.nl> | 2015-12-04 11:55:47 +0100 |
| commit | 3ea35516aceec4f5817871a00008b109777ebb13 (patch) | |
| tree | 74ebcb662999a7de8c41c70d38a96596ac369c37 /lib | |
| parent | c335c53178cf63374599682dfbd7e08d318a20f2 (diff) | |
Disable error-prone checks
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions