tree 573bd765756216b29c4fb3efcff414e0ef6fd25b
parent 35f74c479cfbf0bac931200831cd2b7e9c84929a
author Joe Onorato <joeo@google.com> 1337627765 -0700
committer Joe Onorato <joeo@google.com> 1345182356 -0700

Dump the user tagged modules.

Change-Id: I623821df3e48b358a6b898ccb13750f7dc54ddcf