diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-12-06 14:14:08 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-12-06 14:14:08 +0100 |
| commit | c0843402165c184b50d0d87bd804fa55e405203b (patch) | |
| tree | 63cfea96f0922457f2b8e44c092c1e4dabf0dc43 /doc/classes/Dictionary.xml | |
| parent | efefe0be95a34eda142df9e2d051284b8fde4d96 (diff) | |
| parent | 911cf63eb8c7f732fd49fcb400a948183a4b24a6 (diff) | |
Merge pull request #23935 from helenaMontenegro/master
Add sorting to the project manager
Diffstat (limited to 'doc/classes/Dictionary.xml')
0 files changed, 0 insertions, 0 deletions