Improved documentation for setting deegree workspace root#1529

Merged

stephanr merged 1 commit intodeegree:mainfrom lat-lon:enhanceDocumentationWorkspaceLoc

Jun 7, 2023

+21-19

Commits on Jun 5, 2023

deegree#1120 improved documentation for setting deegree workspace root directory and minor enhancements in formating and highlighting content
tfr42
committed