Skip to content
Snippets Groups Projects
Select Git revision
  • ea00a7613cb85f47b4d0aa9e726f20cbe1d103ad
  • develop default protected
  • master protected
  • rodin2
  • rodin3
  • feature/theory_plugin
  • feature/multiview
  • csp
  • feature/newcore
  • feature/csp
  • 3.0.11
  • 3.0.8
  • 3.0.5
  • 2.4.1
  • 2.3.3
  • 2.3.2
  • 2.3.1
  • 2.3.0_fix1
  • 2.3.0
19 results

de.bmotionstudio.gef.editor

  • Clone with SSH
  • Clone with HTTPS
    • user avatar
    Remove logging distinction of "with bugreport" and "without bugreport"
    dgelessus authored 
    The bug report mechanism doesn't exist anymore, so the two variants did
the same thing.
    9df10849
    History
    user avatar 9df10849
    History
    Code owners
    Assign users and groups as approvers for specific file changes. Learn more.