Fixed problem with russian characters.

[splint.git] / doc / manual.pdf

diff --git a/doc/manual.pdf b/doc/manual.pdf
index 342fd8c7376c91486f5b7d0ba81675196ac7e012..67ee5f28d5c8ffda2f8bb2d9c8c76800c31fc5a1 100755 (executable)
Binary files a/doc/manual.pdf and b/doc/manual.pdf differ