Commits

Doug Gregor committed 1c2ce6f22f2
[Omit needless words] Add a flag to let us skip overrides and witnesses. When performing Swift API dumps, it's helpful to avoid putting redundant APIs into the results. Therefore, filter out any APIs that are overrides of another API or are witnesses for a protocol requirement, since the original definition (that doesn't override any other or is a protocol requirement) is what determines the APIs name.