This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
eclipse:properties [2015/03/27 09:20] – [Editing Run Configurations] ursgraf | eclipse:properties [2020/09/11 09:10] – [Setting Project Properties] ursgraf | ||
---|---|---|---|
Line 3: | Line 3: | ||
===== Setting Project Properties ===== | ===== Setting Project Properties ===== | ||
Instead of editing the deep project file manually the settings can be altered by choosing //Project -> Properties// | Instead of editing the deep project file manually the settings can be altered by choosing //Project -> Properties// | ||
- | {{.: | + | {{.: |
===== Renaming Deep Projects ===== | ===== Renaming Deep Projects ===== |