src/cms_breakid.cpp | 2 1 + 1 - 0 !
src/main.cpp | 2 1 + 1 - 0 !
src/searcher.cpp | 2 1 + 1 - 0 !
3 files changed, 3 insertions(+), 3 deletions(-)

 fix spelling errors

src/solverconf.cpp | 58 29 + 29 - 0 !
1 file changed, 29 insertions(+), 29 deletions(-)

 make sure the manpage doesn't contain too long lines

src/GitSHA1.cpp.in | 1 0 + 1 - 0 !
1 file changed, 1 deletion(-)

 make the build reproducible