Skip to content
Snippets Groups Projects

Fixes #33

Merged Manuel Günther requested to merge groups_vs_group into master

I am now checking that the --group and according options are not used w/o --sub-task.

A test case is yet missing, but will follow soon.

Note that I will need to modify bob.bio.gmm accordingly, unless someone finds a better and more generic solution to #33 (closed)

Accepting this merge will close #33 (closed).

Merge request reports

Loading
Loading

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
Please register or sign in to reply
Loading