New UIO file names #309

Merged
muellerr merged 4 commits from mueller/uio-updates into develop 2022-10-27 08:53:22 +02:00
Owner
  • Use new uio symlinks
- Use new uio symlinks
muellerr added 1 commit 2022-10-25 19:12:50 +02:00
EIVE/eive-obsw/pipeline/head This commit looks good Details
EIVE/eive-obsw/pipeline/pr-develop This commit looks good Details
4a8096998d
added two todos and new uio file names
muellerr requested review from meierj 2022-10-25 19:12:58 +02:00
muellerr added this to the v1.15.0 milestone 2022-10-25 19:13:01 +02:00
muellerr added 1 commit 2022-10-27 08:29:45 +02:00
muellerr added 1 commit 2022-10-27 08:53:01 +02:00
EIVE/eive-obsw/pipeline/pr-develop Build queued... Details
921f413888
small bugfix
muellerr added 1 commit 2022-10-27 08:53:11 +02:00
EIVE/eive-obsw/pipeline/pr-develop Build started... Details
f24ea413c8
Merge branch 'develop' into mueller/uio-updates
muellerr merged commit 4e1df940d9 into develop 2022-10-27 08:53:22 +02:00
muellerr deleted branch mueller/uio-updates 2022-10-27 08:53:23 +02:00
meierj approved these changes 2022-10-28 12:10:48 +02:00
Sign in to join this conversation.
No description provided.