diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2015-12-15 19:21:57 +0100 |
|---|---|---|
| committer | Rémi Verschelde <remi@verschelde.fr> | 2015-12-15 19:21:57 +0100 |
| commit | 08cab3a17a4eba874c17cec41425f149846663a4 (patch) | |
| tree | 8fa7d7f549787fe3cf2a896838595d50acc83b67 /doc/tools | |
| parent | 9cb4798f6b2dd58bec7d7980ac8793d56777746d (diff) | |
| parent | 87a415f2757c6f3b92b72bc1796a44ab89f83aad (diff) | |
Merge pull request #3080 from akien-mga/pr-input-presets
Prevent deleting input presets as it does not work
Diffstat (limited to 'doc/tools')
0 files changed, 0 insertions, 0 deletions