This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| eclipse:perspective [2021/12/28 08:37] – [Setting Deep Preferences] ursgraf | eclipse:perspective [2022/01/04 09:42] (current) – [Setting Deep Preferences] ursgraf | ||
|---|---|---|---|
| Line 12: | Line 12: | ||
| {{.: | {{.: | ||
| + | |||