From b5405d80ec253641527c5b7f16cd4f8db2745fb6 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Fri, 21 May 2021 21:56:59 +0200 Subject: [PATCH] Update main branch --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 3a543e2..2e7aeac 100644 --- a/README.md +++ b/README.md @@ -1,6 +1,6 @@ --- projectpages: "https://gitlab.com/preserves/preserves" -projecttree: "https://gitlab.com/preserves/preserves/tree/master" +projecttree: "https://gitlab.com/preserves/preserves/tree/main" title: "Preserves: an Expressive Data Language" no_site_title: true ---