Skip to content
Snippets Groups Projects
Select Git revision
  • develop default protected
  • master protected
  • 3.6.0
  • 3.5.1
  • 3.5.0
  • 3.4.1
  • 3.4.0
7 results

org.eventb.texteditor.parent

  • Clone with SSH
  • Clone with HTTPS
    • user avatar
    Set explicit source file encoding in parent pom.xml
    dgelessus authored 
    Fixes Maven warnings about using the platform default encoding.
    d18b6164
    History
    user avatar d18b6164
    History
    Code owners
    Assign users and groups as approvers for specific file changes. Learn more.
    Name Last commit Last update
    ..