diff options
| author | Linus Nordberg <linus@nordberg.se> | 2015-04-10 17:45:16 +0200 |
|---|---|---|
| committer | Linus Nordberg <linus@nordberg.se> | 2015-04-10 17:45:16 +0200 |
| commit | 2e7ae73196da22dcf9b4817fc38861774ff61b84 (patch) | |
| tree | 13b8f55b885c4cdd135b5231f627f5f70613cb9d /tools/treeinfo.py | |
| parent | c4480f0a734a89af330bb1fa1e44627d57a98df4 (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