Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
no longer pull in documentation of
IO
methods from Base
Pulling in the entire documentation of also applicable `IO` methods was a bad idea, as that created ever more unresolved references to other methods. Therefore, just list the names of these methods instead.
- Loading branch information