Initial import

2025-11-05 20:35:04 +01:00
commit 5b1fd847c2
4586 changed files with 685044 additions and 0 deletions
@@ -0,0 +1,8 @@
+/** @deprecated */
+export var Markers;
+(function (Markers) {
+    Markers["start"] = "/**";
+    Markers["nostart"] = "/***";
+    Markers["delim"] = "*";
+    Markers["end"] = "*/";
+})(Markers = Markers || (Markers = {}));