8 Commits (9c497a9133c88eed1d8ab7534250490dca03cd66)

Author	SHA1	Message	Date
Vitor Henrique	d79a1667e3	pages*: refine wording (#12132) ... * pages*: refine wording --------- Co-authored-by: Sebastiaan Speck <12570668+sebastiaanspeck@users.noreply.github.com> Co-authored-by: Juri Dispan <juri.dispan@posteo.net> Co-authored-by: K.B.Dharun Krishna <kbdharunkrishna@gmail.com> Co-authored-by: Lena <126529524+acuteenvy@users.noreply.github.com>	2024-02-09 19:25:36 +05:30
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