Skip to content

Commit 9da9d3d

Browse files
jawlinejawline
committed
Cleanout bin/
1 parent a5bd9b2 commit 9da9d3d

25 files changed

+3
-22819
lines changed

‎.gitignore

+1
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,7 @@ z3/
22
emsdk_portable/
33
node_modules/
44
bin/libz3*
5+
bin/
56
#Backup files
67
*~
78

‎bin/.PHONY

Whitespace-only changes.

‎bin/Check.js

-20
This file was deleted.

0 commit comments

Comments
 (0)