4 Commits (0209f9021c56bc98577ba06dd213d7e0ae96fd28)

Author	SHA1	Message	Date
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