Update #12
muellerr
commented 2020-12-29 18:10:48 +01:00
Owner
No description provided.
muellerr
added the 2020-12-29 18:10:48 +01:00
feature
label
muellerr
added 3 commits 2020-12-29 18:10:49 +01:00
reamde update
d07294980a
suppressed warning flags
ffe22036c6
Merge branch 'mueller/master' of https://egit.irs.uni-stuttgart.de/eive/eive_obsw into mueller/master
3a9c0f7c9a
meierj
merged commit ac01d54804 into develop 2020-12-29 18:11:11 +01:00
meierj
referenced this issue from a commit 2020-12-29 18:11:11 +01:00
Merge pull request 'Update' (#12) from mueller/master into develop
meierj
deleted branch mueller/master 2020-12-29 18:11:41 +01:00
muellerr
referenced this issue from a commit 2021-07-22 15:22:52 +02:00
Merge pull request 'Update' (#12) from mueller/master into develop
Loading…
x
Reference in New Issue
Block a user
No description provided.
Delete Branch "mueller/master"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?