MATE icon indicating copy to clipboard operation
MATE copied to clipboard

Published 20 hours ago • verified publisher icon GaloisInc

Remove TraceLogger

Open langston-barrett opened this issue 1 year ago • 0 comments

This functionality has bitrotted. Associated documentation doc/traces.rst should also go.

Migrated from internal (Gitlab) MATE issue number(s) 476.

langston-barrett avatar Aug 23 '22 19:08 langston-barrett