aboutsummaryrefslogtreecommitdiff
path: root/resources/quantifier
diff options
context:
space:
mode:
authorGravatar Daniel Smith <rdnlsmith@gmail.com> 2019-05-20 14:39:43 -0400
committerGravatar Daniel Smith <rdnlsmith@gmail.com> 2019-05-20 14:39:43 -0400
commita76d2e038dc234c529787069562dff42c17e857a (patch)
treec6a821d40bf0fef008b6ce67a8c9e9340f0a527c /resources/quantifier
parent0f848de16ff4711e2d77cd93e345c679faed6cbc (diff)
Increment version to 0.2.0
Diffstat (limited to 'resources/quantifier')
0 files changed, 0 insertions, 0 deletions