Switched to our own "external" repository
-rw-r--r-- 707 help
-rw-r--r-- 115 info
-rw-r--r-- 1218 linux.patch
drwxr-xr-x - linux