devtools
c6c42fe1
- Refactor areaPaneHeader into a widget (#2924)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
4 years ago
Refactor areaPaneHeader into a widget (#2924)
References
#2924 - Refactor areaPaneHeader into a widget
Author
rrousselGit
Parents
12ad5341
Loading
