Allow history for Tools
Allow history for Tools

muffato/public-plugins,muffato/public-plugins,Ensembl/public-plugins,muffato/public-plugins,Ensembl/public-plugins,Ensembl/public-plugins,muffato/public-plugins