Switch from card-group to card-deck

Authored by bd808 on Thu, Oct 12, 4:16 AM.

Description

Switch from card-group to card-deck

Details

Committed
bd808Thu, Oct 12, 4:16 AM
Pushed
bd808Thu, Oct 12, 4:16 AM
Parents
R1922:6c26cc688b7d: Show keywords on toolinfo cards
Branches
Unknown
Tags
Unknown
ChangeId
None