Buck Doyle d4708860f0 UI: Fix exec popup link for job id ≠ name (#7815) ... This closes #7814. It makes URL-generation more central and changes the exec URL to include job id instead of name.		2020-04-29 07:54:04 -05:00
..
open-button.js	UI: Fix exec popup link for job id ≠ name (#7815)	2020-04-29 07:54:04 -05:00
task-contents.js	UI: add exec terminal (#6697)	2020-03-24 18:22:16 -05:00
task-group-parent.js	UI: Fix exec popup link for job id ≠ name (#7815)	2020-04-29 07:54:04 -05:00