Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Update library function "docstrings" for nixdoc generation #49383
Motivation for this change
This extracts the changes to documentation comments that previously were in #49275 into a new pull-request. These changes should be backportable to 18.09.
Please see the other PR for more discussion, background information and examples of rendered documentation.