add camera-ready version of itree-program-logic paper

[web.git] / personal / _config.yml

diff --git a/personal/_config.yml b/personal/_config.yml
index d63d6396baddb24318fa5df8f4313a05887f80d7..959b1047026d25901b01df67ab4d578ba430f78f 100644 (file)
--- a/personal/_config.yml
+++ b/personal/_config.yml
@@ -12,13 +12,14 @@ readmes:
     src_base: "/home/r/src"
     out_base: "projects"
     projects:
-      - name: "lilass"
+      - name: "bubblebox"
       - name: "dyn-nsupdate"
-      - name: "zonemaker"
-      - name: "schsh"
+      - name: "git-mirror"
+      - name: "lilass"
       - name: "rust-101"
         src: "rust/rust-101"
-      - name: "git-mirror"
+      - name: "schsh"
+      - name: "zonemaker"
 
 defaults:
   - scope: