diff options
author | John MacFarlane <jgm@berkeley.edu> | 2015-06-18 11:52:32 -0700 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2015-06-18 11:52:32 -0700 |
commit | 0d8609cb073e86e0ec5511f54df663c7b7876391 (patch) | |
tree | 614bcf045717088b79ad60661f202a24c1ef6f10 /tools | |
parent | 0a6a5181154cfaef300b6794f71388513a1e1281 (diff) |
Rename potential_openers -> openers_bottom.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions