diff options
Diffstat (limited to 'prepare_coolmineman.sh')
| -rwxr-xr-x | prepare_coolmineman.sh | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/prepare_coolmineman.sh b/prepare_coolmineman.sh deleted file mode 100755 index f83a3ff..0000000 --- a/prepare_coolmineman.sh +++ /dev/null @@ -1,19 +0,0 @@ -#!/bin/bash -# -# Copyright 2023 The original authors -# -# Licensed under the Apache License, Version 2.0 (the "License"); -# you may not use this file except in compliance with the License. -# You may obtain a copy of the License at -# -# http://www.apache.org/licenses/LICENSE-2.0 -# -# Unless required by applicable law or agreed to in writing, software -# distributed under the License is distributed on an "AS IS" BASIS, -# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. -# See the License for the specific language governing permissions and -# limitations under the License. -# - -source "$HOME/.sdkman/bin/sdkman-init.sh" -sdk use java 21.0.1-graal 1>&2 |
