summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2014-12-29 22:20:11 -0800
committerJohn MacFarlane <jgm@berkeley.edu>2014-12-29 22:20:11 -0800
commit7c9d5f9db14da9aa8fee313d4e6e933b7ea3d109 (patch)
tree5006520387bb468cd389601f57750f1ebfe4d858 /.gitignore
parent86fda06897ccd4d610410f920923c6e1f3e2bf3d (diff)
Use python3 for bench in Makefile.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions