#1588 [patch] remove SVN IDs
Metadata
Property | Value |
---|---|
Reported by | Felix Gruber (gruber@igpm.rwth-aachen.de) |
Reported at | Mar 9, 2015 17:21 |
Type | Bug Report |
Version | Git (pre2.4) [cmake] |
Operating System | Unspecified / All |
Last edited by | Christoph Grüninger (gruenich@iws.uni-stuttgart.de) |
Last edited at | Mar 10, 2015 06:51 |
Closed by | Christoph Grüninger (gruenich@iws.uni-stuttgart.de) |
Closed at | Mar 10, 2015 06:51 |
Closed in version | Unknown |
Resolution | Fixed |
Comment | Thanks for the patches! I applied them to Dune master. |
Description
Some source files still contain $Id: $ comments, which seem to be leftovers from a time when Dune was still using SVN instead of Git. Since these lines no longer serve any purpose, I propose to remove them. To this end, I attached a patch for each affected Dune module, with the name of the module as prefix so they can be easier related to their respective Git repositories.