diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-09-20 23:15:40 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-09-20 23:15:40 +0200 |
| commit | d249bb37e5b7c90bb901247760311d1afc787605 (patch) | |
| tree | a3449dcf57d4fe7f2d8098467a8b376155a248cc /platform/server | |
| parent | f7cd50e900593e1e904a30124d4c6b622b878c22 (diff) | |
| parent | 9e5f1d664165ad218c7d6c2248db7b5dd69a750d (diff) | |
Merge pull request #32112 from Calinou/project-manager-add-hover-style
Add an "hover" style to items in the project manager
Diffstat (limited to 'platform/server')
0 files changed, 0 insertions, 0 deletions