diff --git a/projects/JIT-ISS-CoreDsl.setup b/projects/JIT-ISS-CoreDsl.setup index 75d6570..02b9924 100644 --- a/projects/JIT-ISS-CoreDsl.setup +++ b/projects/JIT-ISS-CoreDsl.setup @@ -21,8 +21,8 @@ xsi:type="setup:VariableTask" name="minres.git.user.id" defaultValue="anonymous" - label="Github user ID"> - The user ID of the Github account + label="User ID"> + The user ID of the MINRES account - The user ID of the Github account + label="User ID"> + The user ID of the MINRES account