summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2014-10-30 13:27:35 -0400
committerOri Bernstein <ori@eigenstate.org>2014-10-30 13:27:35 -0400
commit28318bd41da29f6e406c55247414cdcf3d071a30 (patch)
tree604401364a8b0f42b427521900a63e25c47c0308 /Makefile
parent87d2d8e139a034216b32cc752d4245837a4cc0f7 (diff)
downloadmc-28318bd41da29f6e406c55247414cdcf3d071a30.tar.gz
Unrename 'opt' -> 'mi'
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions