mirror of
https://github.com/galaxyproject/galaxy.git
synced 2026-09-24 16:30:27 +08:00
Merge pull request #12114 from martenson/label-change
docs: change GIEs label to interactive-tools
This commit is contained in:
@@ -134,9 +134,9 @@ particular domain, as well as more organized release notes.
|
||||
- ``area/dependencies`` - Changes related to Python or JavaScript dependencies of Galaxy itself
|
||||
- ``area/documentation``
|
||||
- ``area/framework``
|
||||
- ``area/GIEs``
|
||||
- ``area/histories``
|
||||
- ``area/i18n`` - Internationalization and localization
|
||||
- ``area/interactive-tools``
|
||||
- ``area/jobs``
|
||||
- ``area/jobs/kubernetes``
|
||||
- ``area/libraries`` - Change related to data libraries
|
||||
|
||||
Reference in New Issue
Block a user