diff options
| author | Florian Dold <florian.dold@gmail.com> | 2019-08-19 14:12:14 +0200 |
|---|---|---|
| committer | Florian Dold <florian.dold@gmail.com> | 2019-08-19 14:12:14 +0200 |
| commit | 7cc1a71deb514777c334d5ae602f9036d21ac31d (patch) | |
| tree | ad4ffd47d2eac1a316bc688c2cb6325d36b7f94c /bin | |
| parent | 8f899beb4cf40821399d55c648787b487423c93a (diff) | |
fix 'make check'
Diffstat (limited to 'bin')
0 files changed, 0 insertions, 0 deletions