aboutsummaryrefslogtreecommitdiff
path: root/doc/manual/src/command-ref/opt-inst-syn.md
AgeCommit message (Expand)Author
2020-07-23Convert commandsEelco Dolstra