CopilotandCopybot 27aac33259 Add .lean, .lean4, and .hs as editable/viewable file types (#31716) ...

GitOrigin-RevId: c3ee7592d0a1096ac96ca9514579c559d028b840

2026-03-09 09:05:48 +00:00

..

fixtures/logs

…

bootstrap.ts

Remove Bootstrap version 3 (#27420)

2025-08-08 08:06:00 +00:00

detach-channel.ts

…

editor-providers.tsx

Add usage quota to Workbench (#31782)

2026-03-06 09:17:52 +00:00

error-boundary.tsx

…

render-with-context.tsx

[web] Convert EditorProviders and some test files to Typescript (#26512)

2025-07-07 08:05:40 +00:00

reset-meta.ts

Add .lean, .lean4, and .hs as editable/viewable file types (#31716)

2026-03-09 09:05:48 +00:00

sleep.ts

…

with-markup.ts

…