mirror of
https://github.com/cosmo-sims/MUSIC.git
synced 2024-09-18 15:53:45 +02:00
used tagged class branch
This commit is contained in:
parent
b821cca87c
commit
420fe7c627
1 changed files with 1 additions and 1 deletions
|
@ -3,7 +3,7 @@ include(FetchContent)
|
|||
FetchContent_Declare(
|
||||
class
|
||||
GIT_REPOSITORY https://github.com/ohahn/class_public.git
|
||||
GIT_TAG master
|
||||
GIT_TAG monofonic_v1
|
||||
GIT_SHALLOW YES
|
||||
GIT_PROGRESS TRUE
|
||||
USES_TERMINAL_DOWNLOAD TRUE # <---- this is needed only for Ninja
|
||||
|
|
Loading…
Reference in a new issue