Skip to content
Snippets Groups Projects
Select Git revision
  • c5e0ca5bee810daf5dc1a916a47bbccc17e597ea
  • 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

tycho_build.gradle

user avatar
dgelessus authored
Now that the version numbers no longer need to change, there's no need
to generate this file dynamically anymore.
87fa0c5b
History
Code owners
Assign users and groups as approvers for specific file changes. Learn more.