Skip to content
Snippets Groups Projects
Commit 9bf4b6d2 authored by Ludovico de Nittis's avatar Ludovico de Nittis
Browse files

Merge branch 'wip/without-files' into 'master'

pressure-vessel: Accept runtime with or without ./files

See merge request !237
parents 63720bbb 5570e4a8
No related branches found
No related tags found
1 merge request!237pressure-vessel: Accept runtime with or without ./files
Checking pipeline status