Skip to content

Drop unneeded include

Giulio Eulisse requested to merge eulisse/jalien-root:fix-tdset-h into master

Proof is now not available anymore in ROOT, so this needs to go.

Merge request reports