batteries icon indicating copy to clipboard operation
batteries copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

chore: fix more Std -> Batteries

Open digama0 opened this issue 1 year ago • 0 comments

It was still present in the namespaces Std.Tactic.Lint and Std.CodeAction.

digama0 avatar Jul 22 '24 07:07 digama0