summaryrefslogtreecommitdiff
path: root/tools/treeinfo.py
diff options
context:
space:
mode:
authorLinus Nordberg <linus@nordberg.se>2015-04-10 17:45:16 +0200
committerLinus Nordberg <linus@nordberg.se>2015-04-10 17:45:16 +0200
commit2e7ae73196da22dcf9b4817fc38861774ff61b84 (patch)
tree13b8f55b885c4cdd135b5231f627f5f70613cb9d /tools/treeinfo.py
parentc4480f0a734a89af330bb1fa1e44627d57a98df4 (diff)
Base catlfish-merge docker image on erlang instead of base.
We need erlang (escript) for running verify.erl.
Diffstat (limited to 'tools/treeinfo.py')
0 files changed, 0 insertions, 0 deletions