diff options
author | bobzel <zzzman@gmail.com> | 2020-04-29 11:55:38 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-04-29 11:55:38 -0400 |
commit | a5b7e73784e3f03ca7677f1d1f00b9943b40f0ec (patch) | |
tree | bd9645f717946e76ae26bd6bc06bd5fbe78620bb /src/client/documents/Documents.ts | |
parent | 6b2896756c55727ed397c223187cb03fe8a51a59 (diff) | |
parent | f78d614f99fed4555f7a1211e522e34efc19f809 (diff) |
Merge pull request #355 from browngraphicslab/monika_animation
Monika animation
Diffstat (limited to 'src/client/documents/Documents.ts')
-rw-r--r-- | src/client/documents/Documents.ts | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/client/documents/Documents.ts b/src/client/documents/Documents.ts index f96e3bcd1..811bb5fb2 100644 --- a/src/client/documents/Documents.ts +++ b/src/client/documents/Documents.ts @@ -1014,3 +1014,4 @@ export namespace DocUtils { } Scripting.addGlobal("Docs", Docs); + |