fixed some bugs

[chaz/tint2] / doc / tint2-0.7.pdf

diff --git a/doc/tint2-0.7.pdf b/doc/tint2-0.7.pdf
index 873effd49cd5f5ba4c611e919cf2c264fac85fcf..2454e22d15ac0772473cca7ba3adcc766a90a3ac 100644 (file)
Binary files a/doc/tint2-0.7.pdf and b/doc/tint2-0.7.pdf differ