Skip to content
Snippets Groups Projects
Select Git revision
  • 4eba3c236438430ac3055b465f5d215249873d62
  • main default protected
  • release_1_0_17
  • release_1_0_16
  • release_1_0_15
  • release_1_0_10
  • release_1_0_14
  • release_1_0_13
  • release_1_0_12
  • release_1_0_11
  • release_1_0_9
  • release_1_0_8
  • release_1_0_7
  • release_1_0_6
  • release_1_0_5
  • release_1_0_4
  • release_1_0_3
  • release_1_0_2
  • release_1_0_1
  • release_1_0_0
  • dev_1_0_0
21 results

mechanicalgenericbender

  • Clone with SSH
  • Clone with HTTPS
  • MADELA Patrick's avatar
    Patrick MADELA authored
    Remove definition of default host profile for Windows and Linux. Let user define default profile in profiles folder to have one common default profile for both contexts : build and host.
    17f0bca1
    History
    Name Last commit Last update