Rename files for episode 5, 6, 7 (!29) · Merge requests · HIFIS / HIFIS Software Services / Education and Training / Workshop Materials / Continuous Integration in GitLab / Workshop Materials · GitLab

Hueser, Christian requested to merge 15-rename-files-for-episode-5-6-7 into main Jun 13, 2022

Numbering of filenames got mixed up. Fixing them by renaming files for episode 5, 6, 7.

Closes #15 (closed)

A HIFIS Service | Privacy | Imprint | Support | Documentation | Changelog | Status