diff options
| author | tnaia <tassio.naia@gmail.com> | 2019-03-23 17:54:17 +0100 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2019-03-23 10:54:17 -0600 |
| commit | f95f0d090ea4370bd40da7acbfc3b7da669f3692 (patch) | |
| tree | dcc7b8898ec2e5dcfd35b944a4e48006b5f80d1c /tools | |
| parent | 83ed53e12aa2e011b04474825bfb22a40682e4a0 (diff) | |
fix typo in spec (#556)
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions