Added support for naming Jargon apps in ips (main)#423

Merged

korydraughn merged 1 commit intoDICE-UNC:masterfrom ganning127:407.main.naming

Aug 8, 2023

+16-3

Commits on Aug 8, 2023

[DICE-UNC#407 ] Jargon apps can now report their name to iRODS server for ips.
ganning127
committed