| commit | 9511bd6e6b0d8a3e8ce04b723cf4903b81db1b61 | |
| author | Toon Nolten <toon.nolten@student.kuleuven.be> | |
| Sun, 18 Aug 2019 13:05:08 +0000 (18 15:05 +0200) | ||
| committer | Toon Nolten <toon.nolten@student.kuleuven.be> | |
| Sun, 18 Aug 2019 13:15:50 +0000 (18 15:15 +0200) | ||
| tree | b2cc8b2a46b9f65eda963aaac852e1a918502643 | treesnapshot (tar.gz zip) |
| parent | 498ac4ffa7b90d385de6078a9162606a6bc524c3 | commitdiff |
Drop truth values; rename warning setting