Closed

Move Dev Tools MenuItem from Help to Tools #2133

yahiheb wants to merge changes into zkSNACKs:master from yahiheb:devtools-menuitem

No issues found

One of my most productive days was throwing away 1000 lines of code.

– Ken Thompson