Deploy to GitHub pages

This commit is contained in:
github-actions[bot]
2026-05-08 05:03:06 +00:00
committed by GitHub
commit ea31da4285
870 changed files with 350332 additions and 0 deletions

5
rdstdin.idx Normal file
View File

@@ -0,0 +1,5 @@
nimTitle rdstdin rdstdin.html module std/rdstdin 0
nim readLineFromStdin rdstdin.html#readLineFromStdin,string,string proc readLineFromStdin(prompt: string; line: var string): bool 60
nim readLineFromStdin rdstdin.html#readLineFromStdin,string proc readLineFromStdin(prompt: string): string 72
idx stdin rdstdin.html#stdin_1 Module rdstdin 0
nimgrp readlinefromstdin rdstdin.html#readLineFromStdin-procs-all proc 60