From a77c7de926c2caa0d0c96212062d59b9949c7600 Mon Sep 17 00:00:00 2001 From: Thom Badings <t.badings@cs.ru.nl> Date: Wed, 21 Feb 2024 15:41:21 +0100 Subject: [PATCH] Update file ReadMe.md --- ReadMe.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ReadMe.md b/ReadMe.md index dde95b1..814f039 100644 --- a/ReadMe.md +++ b/ReadMe.md @@ -1,3 +1,3 @@ # Sampling-Based Abstractions -This repository has been moved permanently to (https://github.com/LAVA-LAB/DynAbs). Please visit this page to access the repository. \ No newline at end of file +This repository has been moved permanently to [https://github.com/LAVA-LAB/DynAbs](https://github.com/LAVA-LAB/DynAbs). Please visit this page to access the repository. \ No newline at end of file -- GitLab