mirror of
https://github.com/SFML/SFML.git
synced 2025-02-18 06:18:01 +08:00
Those annotations create enormous clutter in diff views on GitHub, making PR reviews complicated. Since we are currently not headed toward 100% coverage, they provide little benefit.