Skip to content
Snippets Groups Projects

First pre-release: 0.1

Merged Steffen Vogel requested to merge development into master

Lets merge the current state of development into master an tag it as the first release 0.1.

That way, I can add it to the rwth-minimal Docker base image for inclusion into all lecture profiles.

Merge request reports

Approval is optional

Merged by Christian RohlfingChristian Rohlfing 5 years ago (Apr 20, 2020 3:24pm UTC)

Merge details

  • Changes merged into master with 2feb16c2.
  • Did not delete the source branch.

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