Skip to content

Commit cc1bb0a

Browse files
NikolajBjornerNikolajBjorner
committed
remove superfluous makefile
Signed-off-by: Nikolaj Bjorner <[email protected]>
1 parent 17cac7d commit cc1bb0a

File tree

1 file changed

+0
-400
lines changed

1 file changed

+0
-400
lines changed

0 commit comments

Comments
 (0)