rdstdin disappeared from documentation index #3755

Closed
qqtop opened this Issue Jan 21, 2016 · 0 comments

Projects

None yet

2 participants

@qqtop
qqtop commented Jan 21, 2016

e.g. documentation for readLineFromStdin cannot be found

@dom96 dom96 added the Documentation label Jan 21, 2016
@Araq Araq added a commit that closed this issue Oct 20, 2016
@Araq Araq fixes #3755 4e51b56
@Araq Araq closed this in 4e51b56 Oct 20, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment