diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-02-10 10:46:37 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-10 10:46:37 +0100 |
| commit | 6c1f428b320115b765390ea112084938774ce436 (patch) | |
| tree | d6536f20ed2158fbf67487c6b1ad17c412b97735 /platform/x11/detect_prime.cpp | |
| parent | 4e458db7eb3dffa97d80e962a49c8d72178865ee (diff) | |
| parent | c695751654b92f1295efc5557bd30c049032e237 (diff) | |
Merge pull request #35819 from Calinou/improve-inputmap-editor-icons
Improve icons in the Input Map editor
Diffstat (limited to 'platform/x11/detect_prime.cpp')
0 files changed, 0 insertions, 0 deletions