Publishing SNK file private key for reproducible builds

Z3Prover · Nov 18, 2019 · dd4905e · dd4905e
1 parent 215edcf
commit dd4905e
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 0 deletions.
diff --git a/package/icon.jpg → resources/icon.jpg b/package/icon.jpg → resources/icon.jpg
diff --git a/resources/z3.snk b/resources/z3.snk