diff options
author | Richard Yao <ryao@gentoo.org> | 2012-11-19 15:48:48 -0500 |
---|---|---|
committer | Richard Yao <ryao@cs.stonybrook.edu> | 2012-11-22 22:53:32 -0500 |
commit | 9b996818cb6eacaaecaaa9bae8d0377fa1fdb803 (patch) | |
tree | 64985a4a9d926aa4ca69623416256e61798e4362 /.gitignore | |
parent | 8a72e9e927f7d3fea2696e5c71a420d3638985e0 (diff) |
Introduce execute_command
This is useful in situations where we do not have builtins avaiable.
Signed-off-by: Richard Yao <ryao@gentoo.org>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions