diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2014-04-27 20:38:15 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2014-04-27 20:38:15 -0700 |
| commit | f80678df7f003c2e1c4f226fab39cea55f3907a8 (patch) | |
| tree | 054b7e7956b1b8377d1f143ed85b4c4f6d1693cc /data | |
| parent | f81fc6c3bdfcb439892f92b69c02b77342277cc8 (diff) | |
A bit of refactoring that shouldn't change any semantics.
In preparation for a fix to #1267.
Diffstat (limited to 'data')
0 files changed, 0 insertions, 0 deletions