[dune-pdelab] A few simple patches

[Oliver Sander]

Dear pdelab-team,
please consider applying the following simple patches.
They fix a few cosmetic issues and add a missing header.
Thanks,
Oliver
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0001-Fix-copy-n-paste-bug.patch
Type: text/x-diff
Size: 1044 bytes
Desc: not available
URL: <https://lists.dune-project.org/pipermail/dune-pdelab/attachments/20140121/a883e74b/attachment.patch>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0002-Ignore-the-compile-script.patch
Type: text/x-diff
Size: 493 bytes
Desc: not available
URL: <https://lists.dune-project.org/pipermail/dune-pdelab/attachments/20140121/a883e74b/attachment-0001.patch>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0003-Include-missing-header.patch
Type: text/x-diff
Size: 861 bytes
Desc: not available
URL: <https://lists.dune-project.org/pipermail/dune-pdelab/attachments/20140121/a883e74b/attachment-0002.patch>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 534 bytes
Desc: OpenPGP digital signature
URL: <https://lists.dune-project.org/pipermail/dune-pdelab/attachments/20140121/a883e74b/attachment.sig>