Merge commit 'mingw/master' into work/merge-mingw

This commit is contained in:
Steffen Prohaska
2007-12-28 10:10:45 +01:00
44 changed files with 993 additions and 230 deletions

View File

@@ -1219,6 +1219,7 @@ check-docs::
documented,gitattributes | \
documented,gitignore | \
documented,gitmodules | \
documented,gitcli | \
documented,git-tools | \
sentinel,not,matching,is,ok ) continue ;; \
esac; \