![(please configure the [header_logo] section in trac.ini)](/pubtrac/GeniusWeb/chrome/site/your_project_logo.png){kind=logo}
Changeset 1 for profile/.settings/org.eclipse.core.resources.prefs
- Timestamp:
- 08/14/19 11:45:59 (5 years ago)
- Location:
- profile
- Files:
-
- 3 added
-
. (added)
-
.settings (added)
-
.settings/org.eclipse.core.resources.prefs (added)
Note:
See TracChangeset
for help on using the changeset viewer.
