diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2015-12-14 23:13:23 +0100 |
|---|---|---|
| committer | Rémi Verschelde <remi@verschelde.fr> | 2015-12-14 23:13:23 +0100 |
| commit | 79ad04d6af02c84a06b9ba7011e863abc5a7687d (patch) | |
| tree | 39d8492a99988190a39461f329b966e7df12ecfe /doc/tools/makehtml.py | |
| parent | 566f8da3cce4eaa93168bec174f0c4e8de74883c (diff) | |
| parent | fd59d17b22002c32dc409c3aea98deb988921c4c (diff) | |
Merge pull request #3078 from TheHX/pr-project-manager
Avoid project manager from processing gamepad input
Diffstat (limited to 'doc/tools/makehtml.py')
0 files changed, 0 insertions, 0 deletions