update supplemental details

bsubercaseaux · Jun 27, 2024 · 197b866 · 197b866
1 parent 489a644
commit 197b866
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/ITP/.DS_Store b/ITP/.DS_Store
diff --git a/ITP/main.tex b/ITP/main.tex
@@ -153,7 +153,7 @@
 
 \funding{Supported by the National Science Foundation (NSF) grant CCF-2229099.}
 
-\supplementdetails[subcategory={Source Code}]{Software}{https://github.com/bsubercaseaux/EmptyHexagonLean/tree/itp2024}
+\supplementdetails[subcategory={Source Code}, cite={}, swhid={}]{Software}{https://github.com/bsubercaseaux/EmptyHexagonLean/tree/itp2024}
 
 \EventEditors{Yves Bertot, Temur Kutsia, and Michael Norrish}
 \EventNoEds{3}