Fixed problem with russian characters.

[splint.git] / doc / manual.pdf

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