Skip to content
Snippets Groups Projects
Select Git revision
  • 2566d483844e92d5f936e973f585baf32ffc7828
  • develop default protected
  • master protected
  • rodin2
  • rodin3
  • feature/theory_plugin
  • feature/multiview
  • csp
  • feature/newcore
  • feature/csp
  • 3.2.1
  • 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
20 results

prob_rodin_plugin

  • Clone with SSH
  • Clone with HTTPS
    • user avatar
    new structure of the build. Script is not anymore in the .releng folder, but...
    birkhoff authored 
    new structure of the build. Script is not anymore in the .releng folder, but in the workspace instead for easier and more stable dependency management. It is still possible to put the script in a subfolder, but it will be necessary change the workspacePath = '../' , workspacePath is now by default = ''
    2566d483
    History
    user avatar 2566d483
    History
    Name Last commit Last update