Skip to content

No logs and output

Achim Holtmann requested to merge no_logs_and_output into tools

Ich hab mal die log-Dateien und tmp-Dateien aus dem Repo geholt und ins .gitignore gepackt. Wenn du @otto einverstanden bist, merge meinen Branch von deinem Branch. Und dann merge ich deinen Branch in den main.

Merge request reports