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 631cabb8..8d9a6a23 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' |