index
:
opentheory-transform
master
Opentheory proof trace optimizer
Jed Barber
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
makefile
diff options
context:
1
2
3
4
5
6
7
8
9
10
15
20
25
30
35
40
space:
include
ignore
mode:
unified
ssdiff
stat only
Diffstat
(limited to 'makefile')
-rw-r--r--
makefile
2
1 files changed, 1 insertions, 1 deletions
diff --git a/makefile b/makefile
index 07bca57..d4f971b 100644
--- a/
makefile
+++ b/
makefile
@@ -1,5 +1,5 @@
-OUTPUTDIR = ./bin
+OUTPUTDIR = bin