Release coccinelle-0.2.3rc6

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

diff --git a/docs/manual/options.pdf b/docs/manual/options.pdf
index 6bbd2b2..5be7c1b 100644 (file)
Binary files a/docs/manual/options.pdf and b/docs/manual/options.pdf differ