diff options
| author | Linus Nordberg <linus@nordu.net> | 2015-08-03 16:39:44 +0200 |
|---|---|---|
| committer | Linus Nordberg <linus@nordu.net> | 2015-08-03 16:39:44 +0200 |
| commit | ebca07015570694e55c18ff323075d8d5a809a35 (patch) | |
| tree | 4177154ddf689dbece0291860e8cb5ed45b8a3c4 /tools | |
| parent | 6d028f7f9d596dc4d7011a9c6e427379d4f59c49 (diff) | |
Add info about 'make check'.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions