| commit | 38ed6a7e82d70e4f53485621f7f78464835afd9b | [log] [tgz] |
|---|---|---|
| author | mauronofrio <poronofrio@gmail.com> | Fri Jan 10 16:44:28 2020 +0100 |
| committer | bigbiff <bigbiff@teamw.in> | Wed Jun 10 15:34:28 2020 +0000 |
| tree | 84cdde9977bc65220faa468f7e439b30af37c428 | |
| parent | 0edce1a2a463db87afe3486a21c63e12d5631771 [diff] |
Allow Gui File Selector filter to check among more extensions For example now in Install menu we are seeing all files with .zip extension, after this commit we can see also files with .ZIP extension. Just add the extension between ";" separator. Change-Id: I6ddd2a812a182570af3d76711b1e3e13740a466b (cherry picked from commit 27020944c2472c28b12ceccf676d58c2709af890)