Kleis Auke Wolthuizen fa03989b60
Minor doc improvements (#3202)
* doc: avoid use of GCC's old syntax (`-Wgnu-designator`)

* doc: highlight shell commands

* doc: point the C++ docs to v8.12

* doc: avoid highlight on output matching bash keywords
2022-11-30 00:07:57 +00:00
..
2022-11-30 00:07:57 +00:00
2022-11-30 00:07:57 +00:00
2021-06-04 16:57:08 +01:00
2022-06-15 10:19:49 +01:00
2022-11-30 00:07:57 +00:00
2022-11-30 00:07:57 +00:00
2020-07-15 03:30:58 -04:00
2021-11-15 11:17:36 +00:00
2022-11-30 00:07:57 +00:00
2021-09-18 14:18:43 +01:00
2018-02-14 14:52:50 +00:00
2017-11-09 14:53:20 +00:00