Added by Iustin Pop almost 15 years ago
Remove a function in hail
This is not yet used.
View differences