remove Server option (now part of config file)
Code
Review changes
Check out branch
Open in Workspace
Download
Patches
Plain diff
Expand sidebar
remove Server option (now part of config file)
Lemmer, Jan
requested to merge
93-rework-options-storage
into
development
Jan 28, 2022
Overview
0
Commits
1
Pipelines
1
Changes
4
fix a Bug in createLInkedHDF5
Closes
#93 (closed)
Merge request reports
Loading