Document that we ignore @Inherited
#493
Labels
documentation
For issues related to user-facing documentation
implies
For issues with the `@Implies` annotation (name TBD).
Milestone
I don't think we did this, but we decided to in #155.
The text was updated successfully, but these errors were encountered: