Skip to content
Snippets Groups Projects

remove Server option (now part of config file)

Merged remove Server option (now part of config file)
93-rework-options-storage into development
Merged Lemmer, Jan requested to merge 93-rework-options-storage into development

fix a Bug in createLInkedHDF5

Closes #93 (closed)

Merge request reports

Pipeline #635127 passed

Stage: Run

Pipeline passed for 58548f4c on 93-rework-options-storage

Merged by Lemmer, JanLemmer, Jan 3 years ago (Jan 28, 2022 9:39am UTC)

Loading

Pipeline #635128 passed

Stage: Run

Pipeline passed for d2a9d919 on development

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
Please register or sign in to reply