Skip to content
Snippets Groups Projects
Select Git revision
  • 694533feec3b66bded5de9536d976730a99ebb39
  • 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.prob2.feature

  • Clone with SSH
  • Clone with HTTPS
    • user avatar
    revert to GEF 3.7.0 compatible dependency
    Michael Leuschel authored
    e64ad046
    History
    user avatar e64ad046
    History
    Code owners
    Assign users and groups as approvers for specific file changes. Learn more.
    Name Last commit Last update
    ..
    .settings
    .project
    build.properties
    feature.xml