publish site

2023-11-05 13:27:31 +01:00
parent 808cb31fa6
commit b3175848f8
13 changed files with 80 additions and 139 deletions
--- a/.quarto/listing/listing-cache.json
+++ b/.quarto/listing/listing-cache.json
@@ -1,8 +1,5 @@
 {
  "listingMap": {
-    "index.qmd": [
-      "posts"
-    ],
    "propositions.qmd": [
      "posts/propositions"
    ],
--- a/.quarto/preview/lock
+++ b/.quarto/preview/lock
@@ -1 +0,0 @@
-47922
--- a/.quarto/xref/08261e6f
+++ b/.quarto/xref/08261e6f
@@ -1 +1 @@
-{"headings":[],"entries":[]}
+{"entries":[],"headings":[]}
--- a/.quarto/xref/128efd6c
+++ b/.quarto/xref/128efd6c
@@ -1 +1 @@
-{"entries":[],"headings":[]}
+{"headings":[],"entries":[]}
--- a/.quarto/xref/1d3af7d0
+++ b/.quarto/xref/1d3af7d0
@@ -1 +1 @@
-{"entries":[],"headings":[]}
+{"headings":[],"entries":[]}
--- a/.quarto/xref/2810355d
+++ b/.quarto/xref/2810355d
@@ -1 +1 @@
-{"entries":[],"headings":[]}
+{"headings":[],"entries":[]}
--- a/.quarto/xref/64b6b6a4
+++ b/.quarto/xref/64b6b6a4
@@ -1 +1 @@
-{"entries":[],"headings":[]}
+{"headings":[],"entries":[]}
--- a/.quarto/xref/bde902c4
+++ b/.quarto/xref/bde902c4
@@ -1 +1 @@
-{"headings":["auto-promotion"],"entries":[]}
+{"entries":[],"headings":["auto-promotion"]}
--- a/.quarto/xref/e1bdd19b
+++ b/.quarto/xref/e1bdd19b
@@ -1 +1 @@
-{"entries":[],"headings":[]}
+{"headings":[],"entries":[]}