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
050f9b662c8e92e1a4c2386cb68145e2fc451aa1
galaxy
/
lib
T
History
Nicola Soranzo
cb8c601683
Merge pull request
#7428
from erasche/user-prefs-location
...
Allow configuration location of user preferences extra configuration
2019-03-04 14:16:12 +00:00
..
galaxy
Merge pull request
#7428
from erasche/user-prefs-location
2019-03-04 14:16:12 +00:00
galaxy_ext
Bug fix for reading metadata and extension from galaxy.json in set_metadata.py.
2019-01-15 09:43:29 -05:00
tool_shed
Remove useless lock
2019-02-19 11:00:13 +01:00
log_tempfile.py
…
mimeparse.py
…
psyco_full.py
…
