diff options
| author | Andreas Haas <Hinsbart@users.noreply.github.com> | 2017-10-06 19:56:06 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-10-06 19:56:06 +0200 |
| commit | b368ce1719746c69828688b9bf88396dd10dfe26 (patch) | |
| tree | 913aa30cc219e0b66f80981138a3380805e95916 /modules/webm/video_stream_webm.h | |
| parent | 7430bbdac17bdc615e7dc15d9382fd43de4cb521 (diff) | |
| parent | 59def13b7424c28c85452632711030ed0486f37a (diff) | |
Merge pull request #11881 from Noshyaar/pr-es
EditorSettings: remove duplicate set_favorite_dirs
Diffstat (limited to 'modules/webm/video_stream_webm.h')
0 files changed, 0 insertions, 0 deletions