Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
Improve documentation on Postponed Annotations #487
Update paragraph on Postponed Annotations in the documentation, with a more relevant example and emphasis on the bits of code that are required to make it work (pushing technical-only notes into ... notes).
Related issue number
@@ Coverage Diff @@ ## master #487 +/- ## ===================================== Coverage 100% 100% ===================================== Files 14 14 Lines 2251 2251 Branches 443 443 ===================================== Hits 2251 2251