diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2016-07-18 00:52:36 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-07-18 00:52:36 +0200 |
| commit | 62eae7cbe25f3e2f5cf2cc3bd4cb8d13a6845ef3 (patch) | |
| tree | f49bd157c22882a2013676b1f81411481492e1ea /platform/x11/detect.py | |
| parent | 8de5aedb9ef7d4c17027b41b40677d1892f4158c (diff) | |
| parent | 2c9468a46ac7be81085baec4778fcbf3075b2c70 (diff) | |
Merge pull request #5723 from Paulb23/toggle_breakpoint_gutter_issue_5712
Fixed toggle breakpoint gutter not updating when the game is running, issue 5712
Diffstat (limited to 'platform/x11/detect.py')
0 files changed, 0 insertions, 0 deletions