diff options
Diffstat (limited to 'projects/open62541/project.yaml')
-rw-r--r-- | projects/open62541/project.yaml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/projects/open62541/project.yaml b/projects/open62541/project.yaml index 927dc1701..7f0447c38 100644 --- a/projects/open62541/project.yaml +++ b/projects/open62541/project.yaml @@ -9,3 +9,4 @@ sanitizers: - address - undefined - memory +main_repo: 'https://github.com/open62541/open62541.git' |