Skip to content
Snippets Groups Projects
Select Git revision
1 result Searching

binder

  • Open with
  • Download source code
  • Download directory
  • Your workspaces

      A workspace is a virtual sandbox environment for your code in GitLab.

      No agents available to create workspaces. Please consult Workspaces documentation for troubleshooting.

    • user avatar
    Bump version number to 3.6.0
    dgelessus authored 
    Probably a good idea because of the reverted Event-B EMF dependencies.
This also matches what I wrote in the release history.
    9e0355c2
    History
    user avatar 9e0355c2
    History
    Code owners
    Assign users and groups as approvers for specific file changes. Learn more.
    Name Last commit Last update
    ..