tree 24e32148f21839e77386d17d84baafc2d6fe2948
parent f93f5be23ec65d2893d3b221d3753eace24dc567
author Joe Onorato <joeo@google.com> 1337714427 -0700
committer Joe Onorato <joeo@google.com> 1345182356 -0700

List the user modules explicitly, and we can get rid of the support for the user tag!

Change-Id: I6f412ed4e08d784ed71ec170e870fcf30081963a