Merge branch 'master' into feature/gnumake4
tree4a7bf8b99ab1b5c344f75d945c4cd51153b76aee
-rw-r--r-- 220 .gitignore
drwxr-xr-x - starmath
drwxr-xr-x - sw