diff options
| author | Chris Dyer <cdyer@master> | 2015-07-08 02:21:46 +0000 |
|---|---|---|
| committer | Chris Dyer <cdyer@master> | 2015-07-08 02:21:46 +0000 |
| commit | 4b65af355930e2a6e5cdaea729a11a7cc8cbd0c9 (patch) | |
| tree | fc26fca021f2b57dec51bb07bde9faeddb9d6e23 /corpus/support/quote-norm.pl | |
| parent | 752e978a9cec51cfbb8d8acd9b70b8b21e588ca6 (diff) | |
ignore system boost if BOOST_ROOT is set
Diffstat (limited to 'corpus/support/quote-norm.pl')
0 files changed, 0 insertions, 0 deletions