diff options
author | andrewdkim <adkim414@gmail.com> | 2019-11-23 16:30:45 -0500 |
---|---|---|
committer | andrewdkim <adkim414@gmail.com> | 2019-11-23 16:30:45 -0500 |
commit | b5b45c7d8eb9e3056c71d9ca213cca7f2d9c792a (patch) | |
tree | e6a04ae7ea36d085607a90109e2698db8ac2e034 /src/client/documents/DocumentTypes.ts | |
parent | 8af45ed7f376981ce8f8b1c6d1b2fd3b1546a00e (diff) | |
parent | 3b37cc31bb09b11238868c34a38a8e99f508479f (diff) |
merge from master
Diffstat (limited to 'src/client/documents/DocumentTypes.ts')
-rw-r--r-- | src/client/documents/DocumentTypes.ts | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/client/documents/DocumentTypes.ts b/src/client/documents/DocumentTypes.ts index 12501065a..f6dd0c346 100644 --- a/src/client/documents/DocumentTypes.ts +++ b/src/client/documents/DocumentTypes.ts @@ -24,5 +24,6 @@ export enum DocumentType { QUERY = "search", COLOR = "color", DOCULINK = "doculink", - PDFANNO = "pdfanno" + PDFANNO = "pdfanno", + INK = "ink" }
\ No newline at end of file |