Merge commit 'e2f405b'
tree97d37f2bdd2a76dbce947a5dfab41420f5a2c8e5
-rw-r--r-- 15122 COPYING
-rw-r--r-- 15122 LICENSE
-rw-r--r-- 1634 Makefile
-rw-r--r-- 530 README.mob
drwxr-xr-x - backends
drwxr-xr-x - docs
drwxr-xr-x - include
drwxr-xr-x - src
drwxr-xr-x - tools