Lena
d427f333b2
pages/*: add backticks around I/O streams ( #10436 )
...
* as suggested in #10428
* standard input => `stdin`
* standard output => `stdout`
* standard error => `stderr`
Co-authored-by: K.B.Dharun Krishna <kbdharunkrishna@gmail.com>
2023-08-09 10:59:02 +05:30
pixel
ab7a36fbe6
*: always backquote `stdin`, `stdout` and `stderr` ( #9584 )
2022-12-04 08:53:34 +01:00
Lucas Gabriel Schneider
a5fe31bc47
multiple pages: format technical tokens ( #5119 )
...
Co-authored-by: bl-ue <54780737+bl-ue@users.noreply.github.com>
Co-authored-by: Starbeamrainbowlabs <sbrl@starbeamrainbowlabs.com>
2021-01-31 12:05:18 -05:00
Waldir Pimenta
cf25745db1
Harmonize formatting and capitalization of stdin/stdout/stderr
2019-06-17 22:09:58 +05:30
pxgamer
7a7ec840ce
gnomon: add link to homepage
2019-06-07 22:58:59 +01:00
Balázs Úr
ad3772d8cb
multiple pages: remove superfluous white spaces ( #2801 )
2019-02-24 15:47:41 +00:00
Ivan Aracki
927c82e055
gnomon: add page ( #2472 )
2018-10-29 10:46:55 +00:00