diff options
| author | Thomas Weinert | 2017-08-12 13:38:46 +0200 |
|---|---|---|
| committer | Thomas Weinert | 2017-08-12 13:42:55 +0200 |
| commit | c0109d948f9d562899795abf15fae5c83c96f21e (patch) | |
| tree | 7250e1dacef31b8f8bb8e0584531604a28046393 /js | |
| parent | bfd431a0c41c5d7954db6c6af5fb22d42e0b20e5 (diff) | |
Block F5 in speaker notes window, avoid disconnects
Diffstat (limited to 'js')
0 files changed, 0 insertions, 0 deletions