diff options
| author | Andy Rickert <andrew_rickert@brown.edu> | 2020-08-07 19:09:31 -0400 |
|---|---|---|
| committer | Andy Rickert <andrew_rickert@brown.edu> | 2020-08-07 19:09:31 -0400 |
| commit | d4cb5db00da87f8f11794b6272bc3b356dd982bf (patch) | |
| tree | f6b3cd84a93006bc460a870392729dcb32055ccb /src/client/documents/Documents.ts | |
| parent | b02cfed890d9d95a8f45bbc93d688bd3311dd387 (diff) | |
| parent | 97a677d363d4a45bf16f873bec6f6982103b083e (diff) | |
Merge branch 'schema_search'
Diffstat (limited to 'src/client/documents/Documents.ts')
| -rw-r--r-- | src/client/documents/Documents.ts | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/client/documents/Documents.ts b/src/client/documents/Documents.ts index a06b4a581..f5fb8c299 100644 --- a/src/client/documents/Documents.ts +++ b/src/client/documents/Documents.ts @@ -1200,5 +1200,4 @@ export namespace DocUtils { } Scripting.addGlobal("Docs", Docs); -Scripting.addGlobal(function makeDelegate(proto: any) { const d = Docs.Create.DelegateDocument(proto, { title: "child of " + proto.title }); return d; }); - +Scripting.addGlobal(function makeDelegate(proto: any) { const d = Docs.Create.DelegateDocument(proto, { title: "child of " + proto.title }); return d; });
\ No newline at end of file |