@bebatut
bebatut Merge pull request #1300 from galaxyproject/expandable_tip_box
Latest commit e0bcf18 Mar 15, 2019 History 
Make the tip boxes expandable
8 contributors

Users who have contributed to this file

Loading
@hexylena @Delphine-L @bebatut @shiltemann @erasche @nsoranzo @mccalluc @polkhe