Skip to content
Snippets Groups Projects
Unverified Commit 378fbd83 authored by bors[bot]'s avatar bors[bot] Committed by GitHub
Browse files

Merge #726


726: remove obsolete function `detect_from_uhyve` r=jounathaen a=stlankes

- minor improvements to #725
- removing obsolete code

Co-authored-by: Stefan Lankes's avatarStefan Lankes <slankes@eonerc.rwth-aachen.de>
parents 56374702 067a832f
No related branches found
No related tags found
No related merge requests found
Pipeline #971234 passed