diff options
| author | Andrey Andreev <narf@devilix.net> | 2016-01-11 10:34:20 +0100 |
|---|---|---|
| committer | Andrey Andreev <narf@devilix.net> | 2016-01-11 10:36:30 +0100 |
| commit | bffcdc06baed39dbaddaf8706b9d70c3d466047d (patch) | |
| tree | 33c8329fef76ab7095ef305e4d85fa127526570f /user_guide_src/source/general/profiling.rst | |
| parent | 7886d70be269d4c79cbfd67c1bb7be313ce221fa (diff) | |
Merge pull request #4371 from feryardiant/contrib/mime-ogg
[ci skip] Add extra mime for .ogg files
Diffstat (limited to 'user_guide_src/source/general/profiling.rst')
0 files changed, 0 insertions, 0 deletions