diff options
| author |  Jason Gross <jgross@mit.edu> | 2014-08-26 11:40:11 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2014-08-26 11:40:24 -0400 |
| commit | 3ffdcc7183b2cfbf6c53dd4f1dd6e48da416f07d (patch) | |
| tree | 4ca77f871f382294efc63659c46eb93d1a312fea /dev/db | |
| parent | d2958e26d0778ae624495a34fe47ba036439a44d (diff) | |
sed s'/_one_var/_on/g'
For consistency with ChoiceFacts
Diffstat (limited to 'dev/db')
0 files changed, 0 insertions, 0 deletions