diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2017-04-03 11:09:48 +0200 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2017-04-03 11:09:48 +0200 |
| commit | b75890e0fd7abb995d083b795c2cd45703b7cb22 (patch) | |
| tree | 3717c455ccb4885f55acdd4eca14a5cda023a9fe /tools | |
| parent | 3aaf80487cdd34cf374eb02e52e5836712b4e51b (diff) | |
Removed abort outside of conditional (typo).
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions