<div dir="ltr"><div>This is an implementation of the suggestion to add "cmd" as an alternative to "command" that was discussed in this mailing list chain.</div><div><br></div><div><a href="http://lists.cs.uiuc.edu/pipermail/cfe-dev/2015-March/042014.html">http://lists.cs.uiuc.edu/pipermail/cfe-dev/2015-March/042014.html</a></div><div><br></div><div><br></div></div>