diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-08-31 14:18:32 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-31 14:18:32 +0200 |
| commit | 96e257b2728c0cd1d43b2b700c3d9c52a0b44712 (patch) | |
| tree | 8a972d3f9e5356bc481c2ae366ceca77e5e8c6f5 /modules/mono/doc_classes | |
| parent | a70038293cb583d2f51d08f20db1b0a230392c14 (diff) | |
| parent | 31fdb0fe46dbfc869fac9ca2e29bb512ea7d7067 (diff) | |
Merge pull request #41601 from hinlopen/remember-last-filter-order
Fix not saving new filter order in project manager
Diffstat (limited to 'modules/mono/doc_classes')
0 files changed, 0 insertions, 0 deletions