Merge branch 'devel' into master
treeeeb08935cb510782c62becac1b3e85ed53913425
-rw-r--r-- 31 .gitattributes
-rw-r--r-- 98 .gitignore
-rw-r--r-- 166 .gitmodules
-rw-r--r-- 514 TODO
drwxr-xr-x - bin
drwxr-xr-x - cmd
drwxr-xr-x - doc
drwxr-xr-x - etc
m--------- - git
drwxr-xr-x - lib
drwxr-xr-x - mingw
-rw-r--r-- 5738 msys.bat
drwxr-xr-x - share