Skip to content

Fixed problem with a pipe in no workspace

Vojtěch Sassmann requested to merge github/fork/Vojtech-Sassmann/bf_no_project_pipe into master
  • There was a pipe which was wrongly placed. It was in a lib directory without actually being defined in some library.

Merge request reports