-
POTTIER Francois authored
even though it was useful. This would happen when the declaration was duplicated (by inlining or by macro-expansion) and some but not all of the copies were useful.
279d7732
To find the state of this project's repository at the time of any of these versions, check out the tags.