← Prev in month
← Prev in thread
Next in thread →
Next in month →
what element is "stdin"?
what is the preferred markup for "stdin", when used as the name of that I/O stream? it's clearly not a file or variable name. systemitem, perhaps? rday
← Prev in month
← Prev in thread
Next in thread →
Next in month →