diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-01-08 14:55:35 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-01-08 14:55:35 +0100 |
| commit | 16f0357c8e2dbba77d3691c2a507c4f6872934a5 (patch) | |
| tree | be1a8ec5c9fa0bcc27b0fbd61f755a911508cf61 /modules/gridmap/config.py | |
| parent | 29e6f60d9bc4e7c5b872ddb25df6d779ba833347 (diff) | |
| parent | ac7dc03ae43bde2760c2b536c8fb1fd8a5b694bd (diff) | |
Merge pull request #34911 from akien-mga/export-hide-patches-tab
Export: Hide Patches tab until actually implemented
Diffstat (limited to 'modules/gridmap/config.py')
0 files changed, 0 insertions, 0 deletions