configure.in: remove --with-mobile
[mono.git] / notes /
drwxr-xr-x   ..
-rw-r--r-- 364 cil