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

org.eventb.texteditor.ui

  • Clone with SSH
  • Clone with HTTPS
    • user avatar
    integration commit between camille 2 and 3, merging the multiple lines of...
    Sebastian Krings authored 
    integration commit between camille 2 and 3, merging the multiple lines of development (git + svn), includes rodin 3 port

Sadly, it was not possible to generate separate commits out of this as these did not exist in the former repositories
    90d26251
    History
    user avatar 90d26251
    History
    Code owners
    Assign users and groups as approvers for specific file changes. Learn more.
    Name Last commit Last update
    ..