Open JaromilNajman opened 1 year ago
There are a lot of places where we use loud to produce some additional output. We should either turn this into a real setting called, e.g., "debugoutput" or just remove it completely.
There are a lot of places where we use loud to produce some additional output. We should either turn this into a real setting called, e.g., "debugoutput" or just remove it completely.