Revision 001aaa59337f89b0bd0a776fce9aaad356a950db

Committed on 17/02/2023 2:59 am by Marijan Klaric <[email protected]> [GitHub Diff]

Fix small mistakes in docs