diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2016-06-02 08:38:53 +0200 |
|---|---|---|
| committer | Rémi Verschelde <remi@verschelde.fr> | 2016-06-02 08:38:53 +0200 |
| commit | 182ee80b7d0e187053150add897931363e5caab4 (patch) | |
| tree | a630b363f224326c2a6f93fff3ce3fdc558075e8 /tools/docdump | |
| parent | e57bca90ab9e5c7ab983d2db62b033dd2f00f653 (diff) | |
| parent | 771b22571859df758609c2391e113e6fb894fa58 (diff) | |
Merge pull request #4926 from Paulb23/fullscreen_and_distraction_free_mode
Added fullscreen and distraction free modes
Diffstat (limited to 'tools/docdump')
0 files changed, 0 insertions, 0 deletions