Coccinelle release 0.2.5-rc5

[bpt/coccinelle.git] / docs / manual / manual.pdf

diff --git a/docs/manual/manual.pdf b/docs/manual/manual.pdf
index b06d10d..9bfac0b 100644 (file)
Binary files a/docs/manual/manual.pdf and b/docs/manual/manual.pdf differ