diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-10-19 18:23:33 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-10-19 18:23:33 +0200 |
| commit | b9d48031e843395fd3117af5af1a40cdc5a884c0 (patch) | |
| tree | 5187bc1c0f008a56fc1c57c9c7d788e3b75e0b88 /modules/mono | |
| parent | 6b208599848d4e32cf198ce707519fcd7b326b0f (diff) | |
| parent | 395cb5725607624e0fe6171fd5e7976d920cd544 (diff) | |
Merge pull request #42900 from Ev1lbl0w/bugfix-hide-patch-menu
Remove code to add patches menu
Diffstat (limited to 'modules/mono')
0 files changed, 0 insertions, 0 deletions