diff options
| author |  Benjamin Barenblat <bbarenblat@galois.com> | 2014-03-04 16:21:32 -0800 |
|---|---|---|
| committer | Benjamin Barenblat <bbarenblat@galois.com> | 2014-03-04 16:26:11 -0800 |
| commit | 6681523e3fb3c6170d144346b18d094bf8ff4e75 (patch) | |
| tree | d06a7b30522d6fd4a5332e89e9101dd6ea360267 /Makefile.am | |
| parent | c1bf51b8e23c9f2d8d3147fe259a77b8f202e71a (diff) | |
Version bump to 0.2.0
Diffstat (limited to 'Makefile.am')
0 files changed, 0 insertions, 0 deletions