mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2025-02-09 06:55:54 -06:00
2 lines
40 B
JavaScript
2 lines
40 B
JavaScript
|
|
export const TAB_CHANGE = 'TAB_CHANGE'; |