Merge commit '6d02f7e'
tree62c0a2f2c832f59c9b418ed2f4687ee68d166877
-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