Merge pull request from ericchiang/dev-rename

cmd/dex: rename file
This commit is contained in:
Eric Chiang
2016-10-03 12:59:32 -07:00
committed by GitHub