Various minor fixes in BTL

This commit is contained in:
Gael Guennebaud
2014-04-17 21:01:45 +02:00
parent 9746396d1b
commit 9777a5ca60
8 changed files with 31 additions and 35 deletions