summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorNicolas Schodet2013-04-16 20:21:45 +0200
committerNicolas Schodet2013-04-16 20:21:45 +0200
commit8ae9efa040fb40d3ad276a9d6f3252ed36cf4eb3 (patch)
tree2f7fb359aaef62589458eb816e175bb824eb17c1 /tools
parent44cbdf17cc8955058ec45decec82007d0b550f6c (diff)
digital/mimot: fix missing rename after 52f6740
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions