diff options
| author | Malo <57839069+MDLC01@users.noreply.github.com> | 2024-05-18 10:42:31 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-05-18 08:42:31 +0000 |
| commit | daf3ccbe04a02848d8c2b67f88f1086dd2751686 (patch) | |
| tree | 32789cce5afa4655ee1cf00b645b66ef530e9d6e /docs | |
| parent | 2308ca40f6849d371b0610de6be61cbd6713088f (diff) | |
Mention how to get the current compiler version in version documentation (#4170)
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions