tree e27b184e6daf7a91e6d1f9ae1fc549ec8abe6e0a
parent d2cea5b5036afed5295d9eb5657772d7a607351c
parent fd187c65783f5032a49eace50b115495b051cd73
author Nick Kralevich <nnk@google.com> 1361390915 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1361390915 +0000

Merge "mksh: use /data/local instead of /data/local/tmp"