diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-03-18 11:00:25 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-03-18 11:00:25 +0100 |
| commit | f6715ac9cb8b658a2b693f6fcd52d4ca8adaa880 (patch) | |
| tree | 33dfe4f2f4cb0be9edcbe3707918fb3746c43381 /core/list.h | |
| parent | f3dbd9e7929e05cdf26401fabca10d6625e24dea (diff) | |
| parent | 7ec697695f9a12cbc2338725d887e752022e30f4 (diff) | |
Merge pull request #8063 from Hinsbart/about_diag
Editor: Fix "About" dialog
Diffstat (limited to 'core/list.h')
0 files changed, 0 insertions, 0 deletions