diff options
Diffstat (limited to 'projects/gnutls/project.yaml')
-rw-r--r-- | projects/gnutls/project.yaml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/projects/gnutls/project.yaml b/projects/gnutls/project.yaml index 631cabb89..8d9a6a23c 100644 --- a/projects/gnutls/project.yaml +++ b/projects/gnutls/project.yaml @@ -11,3 +11,4 @@ sanitizers: - address - memory - undefined +main_repo: 'https://gitlab.com/gnutls/gnutls.git' |