separate splash camera ready from popl

breandan · Jun 21, 2024 · d5eaa09 · d5eaa09
1 parent 20a2afe
commit d5eaa09
Show file tree

Hide file tree

Showing 96 changed files with 30,612 additions and 2,463 deletions.
diff --git a/.gitignore b/.gitignore
@@ -37,4 +37,7 @@ build
 *.run
 temp*.svg
 kotlin-js-store
-*.cf
+*.cf
+*.auxlock
+*.dpth
+*.md5