Skip to content

Commit

Permalink
fixed
Browse files Browse the repository at this point in the history
  • Loading branch information
Armin Biere committed Apr 1, 2020
1 parent 3ce7dc3 commit ad1e65d
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion make-src-release.sh
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@ configure \
LICENSE \
make-config \
makefile.in \
README \
README.md \
scranfilize.c \
test.sh \
VERSION \
Expand Down

0 comments on commit ad1e65d

Please sign in to comment.