diff options
| author | Piotr Miller <nwg.piotr@gmail.com> | 2020-07-23 15:48:48 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-23 15:48:48 +0200 |
| commit | 126c07da532fd58df0af86f9f1741e29d6bf2db9 (patch) | |
| tree | bf81d17b2eb30c2b5398350510dd20935354bf55 /Makefile | |
| parent | 3e59a58522d3f9c4a359ba33cbe9d1609ce067b4 (diff) | |
| parent | 5d3cc9a8c83d85c7536d83cc6065e655d8289abb (diff) | |
| download | autotiling-126c07da532fd58df0af86f9f1741e29d6bf2db9.tar.gz | |
Merge pull request #15 from nschloe/version-v
add --version
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions