diff --git a/etc/examples/README.md b/etc/examples/README.md index 343bc5b7fc525aa731e601cd2aebeeabc27459c5..75b377a93b08ca4cdd70acdb7520248aadbc5e9c 100644 --- a/etc/examples/README.md +++ b/etc/examples/README.md @@ -1,6 +1,6 @@ # Examples -These examples are designed to be executed locally while following the READMEs on GitLub. +These examples are designed to be executed locally while following the READMEs on GitLab. All examples avoid a lengthy call to Java and the `HazardCalc` program by using the following system alias: