view rich_editor/BUILD @ 244:b8aa08503378

[tools] Add sandboxed online LaTeX editor Co-authored-by: Copilot <[email protected]>
author MrJuneJune <me@mrjunejune.com>
date Mon, 03 Aug 2026 16:56:25 -0700
parents 6cdee35a7ba9
children
line wrap: on
line source

filegroup(
  name = "rich_editor",
  srcs = ["rich_editor.js"],
  visibility = ["//visibility:public"],
)