You've already forked style_checker
mirror of
https://github.com/AdaCore/style_checker.git
synced 2026-02-12 12:58:19 -08:00
The "copyright" section has been moved inside the "copyright_header_info" section as the two are logically part of the same concept. The "copyright" option is also renamed to "holders" to provide a clearer idea of what the option is about. For R110-029.