diff options
| author | Nicolas Martinelli <nim@odoo.com> | 2016-05-19 13:52:08 +0200 |
|---|---|---|
| committer | Nicolas Martinelli <nim@odoo.com> | 2016-05-19 13:52:08 +0200 |
| commit | 03c032ecb9061ca30bea59a86d7373517ff67f46 (patch) | |
| tree | 3e360261209f11640024a788e013c54332a99f39 /addons/web/static/src/js/framework/session_instance.js | |
| parent | 1def9911df74c3df4d28b8a609d537cb156f0952 (diff) | |
[FIX] web: company logo file extension
The company logo file extension is always '.png', even if the logo is of
another type such as 'jpg' or 'gif'. This is not an issue for decent
browsers, but IE might not display the image under specific
circumstancies, e.g. in combination with nginx.
opw-676836
Diffstat (limited to 'addons/web/static/src/js/framework/session_instance.js')
0 files changed, 0 insertions, 0 deletions