diff options
| author | bob <bcz@cs.brown.edu> | 2019-12-19 13:00:18 -0500 |
|---|---|---|
| committer | bob <bcz@cs.brown.edu> | 2019-12-19 13:00:18 -0500 |
| commit | 8907ea70352d07c80233ff4c3e06c9c543c5be83 (patch) | |
| tree | 98a07a3b690fa6c3bdfbb22c7fb3cae84172613d /src/server/session_manager | |
| parent | 582cf89686c55b164d60cfdd85090ac5267ba2eb (diff) | |
fixing minor details with tree view opening workspace, moving documents in stacking views, avoiding search exceptions,
Diffstat (limited to 'src/server/session_manager')
0 files changed, 0 insertions, 0 deletions