diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-09-18 09:17:08 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-09-26 08:16:09 -0400 |
| commit | fbcece2280344e30eb6cb91e7eb8556941dfe0b5 (patch) | |
| tree | 06e1ded5df577cf4abfb7282db2f461089145252 /AUTHORS | |
| parent | c44344c041ef50991d0e212ec23faf8febc8c805 (diff) | |
Clarify some licensing-related things.
Diffstat (limited to 'AUTHORS')
| -rw-r--r-- | AUTHORS | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -26,7 +26,7 @@ CVC4 contains the doxygen.m4 autoconf module by Oren Ben-Kiki. CVC4 contains the pkg.m4 autoconf module by Scott James Remnant. CVC4 contains the ax_tls.m4 autoconf module by Alan Woodland and Diego Elio -Petteno. +Petteno`. CVC4 contains the boost.m4 autoconf module by Benoit Sigoure. |