@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 @bebatut @Slugger70 @erasche @nsoranzo @hrhotz @blankenberg @nvk747