Snippets Groups Projects

There was a problem fetching the pipeline summary.

Commit 33ce0f8f authored 6 years ago by Amir MOHAMMADI

Merge branch 'p1' into 'master'

Fix the boundary script due to changes in bob.extension

Closes #7

See merge request !9

parents f2b3f523 d0074482

Branches

Tags v0.0.7

Pipeline #