append


Description:

public void append (Tool t)

Append — matches Gee.ArrayList.add / ResultParser call sites.