Rename the desktop.org files
Description
Description
Details
Details
- Committed
rempt Jul 23 2019, 12:07 PM - Parents
- R37:fbbbe4df2274: Distinguish between stable and nightly
- Branches
- Unknown
- Tags
Rename the desktop.org files
Rename the desktop.org files
Authored by rempt on Jul 23 2019, 12:07 PM.
Tags
None
Subscribers
None