This website requires JavaScript.
Explore
Help
Sign In
opensource
/
galaxy
Watch
3
Star
0
Fork
0
mirror of
https://github.com/galaxyproject/galaxy.git
synced
2026-09-24 16:30:27 +08:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
99ec4ecf751f231cbd32b7ab92cb5ca432fbc615
galaxy
/
lib
T
History
Martin Cech
99ec4ecf75
adjust indexing and searching of special keywords to be case-insensitive
2019-09-11 16:39:14 -04:00
..
galaxy
adjust indexing and searching of special keywords to be case-insensitive
2019-09-11 16:39:14 -04:00
galaxy_ext
Merge branch 'dev' of
https://github.com/galaxyproject/galaxy
into realtimetools
2019-07-05 16:43:01 +02:00
tool_shed
Apply suggestions from @nsoranzo
2019-08-30 10:50:00 -04:00
