summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorRichard Yao <ryao@gentoo.org>2012-11-19 15:48:48 -0500
committerRichard Yao <ryao@cs.stonybrook.edu>2012-11-22 22:53:32 -0500
commit9b996818cb6eacaaecaaa9bae8d0377fa1fdb803 (patch)
tree64985a4a9d926aa4ca69623416256e61798e4362 /.gitignore
parent8a72e9e927f7d3fea2696e5c71a420d3638985e0 (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