Skip to content

Commit 8e92bf3

Browse files
author
Alex Gryzlov
committed
whitespace -> tab
1 parent 5d13543 commit 8e92bf3

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/Makefile

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -16,7 +16,7 @@ LIDR_FILES := Preface.lidr \
1616
Induction.lidr \
1717
Lists.lidr \
1818
Poly.lidr \
19-
Tactics.lidr
19+
Tactics.lidr
2020
# TODO: Add more chapters, in order, here.
2121

2222

0 commit comments

Comments
 (0)