diff options
author | John MacFarlane <jgm@berkeley.edu> | 2016-01-11 10:52:06 -0800 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2016-01-11 10:52:06 -0800 |
commit | 10d6247fbb2ae7f9c3e4e7e75384bcb990d83464 (patch) | |
tree | d43ff0bac77779fcb7a74ae8eba2242cc8be4fb7 /tools | |
parent | bdcadff5dfb6f9513b7c109bf1523b6003406c53 (diff) |
Updated spec.txt.
Currently there is one failing case.
See #97.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions