Merge branch 'feature/precise-sat'
[tatoo.git] / LICENSE
2012-06-12 Kim NguyễnAdd autoconf infrastructure, license, and macro files.