UNPKG

lean4-code-actions

Version:

Refactorings and snippets for Lean 4

4 lines (3 loc) • 122 B
1
2
3
4
declare module 'execa/lib/command' { export function getEscapedCommand(file: string, args: readonly string[]): string }