openshift/origin-server — pull request #3713 by rajatchopra (2013-09-26 20:09:04+00:00)
Title: remove admin_tool as a category

[merge]