diff options
| author |  wm4 <wm4@nowhere> | 2016-09-23 22:35:54 +0200 |
|---|---|---|
| committer | wm4 <wm4@nowhere> | 2016-09-23 22:35:54 +0200 |
| commit | 1500c8422643f322f41620cff88c49850844e826 (patch) | |
| tree | 75fbd4c04eb23b44b8c77b1061345b040fc68a8c /waftools/waf_customizations.py | |
| parent | 9eef41dec15580623cfa62909221fbc1fbf41706 (diff) | |
player: fix intended pseudo-gui behavior
It's still supposed to be possible to customize the pseudo-gui section.
Diffstat (limited to 'waftools/waf_customizations.py')
0 files changed, 0 insertions, 0 deletions