- 12 Aug, 2021 2 commits
-
-
Romain Porte authored
This way the command is easier to select, copy and paste by the readers. Related to #47.
-
Romain Porte authored
The <tt> tag is deprecated, according to: https://developer.mozilla.org/en-US/docs/Web/HTML/Element/tt The <code> tag is proposed as a replacement. It has the same intented semantics: an inline block of code: https://developer.mozilla.org/en-US/docs/Web/HTML/Element/code Closes #41.
-
- 14 Apr, 2020 1 commit
-
-
Enrico Zini authored
-
- 23 Feb, 2020 1 commit
-
-
Enrico Zini authored
-
- 17 May, 2016 1 commit
-
-
Enrico Zini authored
-
- 16 May, 2016 1 commit
-
-
Enrico Zini authored
-
