Closed giovannivolpe closed 8 months ago
This branch implements the quick compilation is such a way that elements and directories can be both included and excluded.
This branch implements the quick compilation is such a way that elements and directories can be both included and excluded.