[Dune-devel] [PATCH] dune-common: Remove $Id$ keyword substitution

[Oliver Sander]

>>
>> Hi Ansgar,
>> thanks for the patch.  I applied the one that kills $Id.  I cannot judge the other one.
>> Someone else has to review that.
> 
> It is a leftover of debugging (str1, and str2 are never
> used). Therefore it can be removed without sideeffects.
> 
> Markus

Okay, pushed.  Thanks.


-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 473 bytes
Desc: OpenPGP digital signature
URL: <https://lists.dune-project.org/pipermail/dune-devel/attachments/20141008/10fbbab2/attachment.sig>