Allows some devtools commands to be run in a compilation-mode buffer. - #531
Draft
atheriel wants to merge 1 commit into
Draft
Allows some devtools commands to be run in a compilation-mode buffer.#531atheriel wants to merge 1 commit into
atheriel wants to merge 1 commit into