Merge branch 'master' into feature/gnumake4
tree8acdc922e0a9797ed52926b651c31f885da448c6
lrwxrwxrwx 63 .gitattributes -> /striped/bjoern/.jenkins/jobs/gnumake4/workspace/.gitattributes
-rw-r--r-- 246 .gitignore
drwxr-xr-x - chart2
drwxr-xr-x - sc
drwxr-xr-x - scaddins
drwxr-xr-x - sccomp