diff rich_editor/BUILD @ 201:6cdee35a7ba9

[MrJuneJune] notes
author MrJuneJune <me@mrjunejune.com>
date Sun, 15 Feb 2026 07:07:50 -0800
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/rich_editor/BUILD	Sun Feb 15 07:07:50 2026 -0800
@@ -0,0 +1,5 @@
+filegroup(
+  name = "rich_editor",
+  srcs = ["rich_editor.js"],
+  visibility = ["//visibility:public"],
+)