diff options
| author | bob <bcz@cs.brown.edu> | 2019-12-18 15:42:40 -0500 |
|---|---|---|
| committer | bob <bcz@cs.brown.edu> | 2019-12-18 15:42:40 -0500 |
| commit | 70f298e1a75ab5032ad197b5d329750aa1b8915c (patch) | |
| tree | 830275500a301c27799beba84ac271c324da444a /src/server/session_manager/session_manager_cluster.ts | |
| parent | 7c3e63b322f78e9515fca4f7f33de1df99926136 (diff) | |
userDoc buttons are auto-updated on start now.
Diffstat (limited to 'src/server/session_manager/session_manager_cluster.ts')
0 files changed, 0 insertions, 0 deletions