Skip to content
Snippets Groups Projects
Select Git revision
  • 5f81003b45810ee18c10988366801e848aeed76c
  • master default protected
  • nightly_master
  • jul25_patches
  • cleanup_rich_v25a
  • jul24_patches
  • nov23_patches
  • DC_2404
  • nighly_master
  • DC_Jan24
  • DC_Nov23
  • DC_Oct23
  • feb23_patches
  • L1Algo-dev9
  • dec21_patches protected
  • apr21_patches protected
  • dev_2025_37
  • dev_2025_36
  • dev_2025_35
  • dev_2025_34
  • dev_2025_33
  • dev_2025_32
  • dev_2025_31
  • dev_2025_30
  • RC_jul25
  • dev_2025_29
  • dev_2025_28
  • dev_2025_27
  • dev_2025_26
  • dev_2025_25
  • dev_2025_24
  • dev_2025_23
  • dev_2025_22
  • dev_2025_21
  • dev_2025_20
  • dev_2025_19
36 results

cmake

  • Clone with SSH
  • Clone with HTTPS
    • user avatar
    Append, overwrite and prepend in config script.
    Eoin Clerkin authored 
    Makes clear to reader that append is default. Allows
previous overwrite option.
    5f81003b
    History
    user avatar 5f81003b
    History
    Name Last commit Last update
    ..