diff options
| author | Bob Zeleznik <zzzman@gmail.com> | 2019-09-03 08:03:43 -0400 |
|---|---|---|
| committer | Bob Zeleznik <zzzman@gmail.com> | 2019-09-03 08:03:43 -0400 |
| commit | 4a1d94325d5d1b5641cd280e89c442c114074e8d (patch) | |
| tree | 83f9564428c9af22cf02cbc1fde82f21a79db599 /src/client/documents/DocumentTypes.ts | |
| parent | dc7990e969bff201fefe050ac321b2d2d1d58059 (diff) | |
cleanup names for formattedTextBoxComment stuff. fixed brushing bug with user_mark.
Diffstat (limited to 'src/client/documents/DocumentTypes.ts')
0 files changed, 0 insertions, 0 deletions