debian/patches/02-makefile_examples.dpatch
changeset 403 57d5da3b6228
parent 346 59dbdcc99264