Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | |||
| en:dochint [2025/08/18 13:24] – created adminwiki | en:dochint [2026/08/12 11:34] (current) – juliav | ||
|---|---|---|---|
| Line 10: | Line 10: | ||
| * Menu entries of the platform or named elements are indicated in red, as above for the mention of '' | * Menu entries of the platform or named elements are indicated in red, as above for the mention of '' | ||
| * If reference is made to a button, red text in square brackets is used: '' | * If reference is made to a button, red text in square brackets is used: '' | ||
| + | |||