Update main branch
This commit is contained in:
parent
49cba14b4f
commit
b5405d80ec
|
@ -1,6 +1,6 @@
|
||||||
---
|
---
|
||||||
projectpages: "https://gitlab.com/preserves/preserves"
|
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"
|
title: "Preserves: an Expressive Data Language"
|
||||||
no_site_title: true
|
no_site_title: true
|
||||||
---
|
---
|
||||||
|
|
Loading…
Reference in New Issue