2012-06-29 あれ?Googlesourceってなくなったんじゃなかったっけ? android https://android.googlesource.com/?format=HTML 見えるな。