diff options
| author | Leah Neukirchen <leah@vuxu.org> | 2017-11-20 16:48:21 +0100 |
|---|---|---|
| committer | Leah Neukirchen <leah@vuxu.org> | 2017-11-20 16:48:53 +0100 |
| commit | 371e199398adddf9e63a44e0fc7e1e1c287d1dd0 (patch) | |
| tree | d781c8d6ce6ebb573cf04f716efc7b3c260c7cb0 /xoptdiff | |
| parent | c80529b1c3ba3940384db7bb5593d81d12dd2e2e (diff) | |
| download | xtools-371e199398adddf9e63a44e0fc7e1e1c287d1dd0.tar.gz xtools-371e199398adddf9e63a44e0fc7e1e1c287d1dd0.tar.xz xtools-371e199398adddf9e63a44e0fc7e1e1c287d1dd0.zip | |
xlint: add make_check_args, make_check_target
Closes #71.
Diffstat (limited to 'xoptdiff')
0 files changed, 0 insertions, 0 deletions