diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-12-18 12:23:24 -0500 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-12-18 14:27:29 -0500 |
| commit | 28d95f84b62d2c00b475d0204bfac7d77d679586 (patch) | |
| tree | ad33fd3c6618f9248e920fa641ea04457e44fc45 /src/proof | |
| parent | b605831878a2be688379f593ce39d37a3d7e18a3 (diff) | |
Fix an autoconf issue with CLN in some configurations; also clarification re: license issues
[skip ci]
Diffstat (limited to 'src/proof')
0 files changed, 0 insertions, 0 deletions