From 69fd03c1f6c3f68fbed3d1c6e5a2295430ed2345 Mon Sep 17 00:00:00 2001 From: jupblb Date: Thu, 2 Jul 2026 18:12:40 +0200 Subject: [PATCH] docs: note repo merged into scip-java --- README.md | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/README.md b/README.md index a0c518c7..09bf77ba 100644 --- a/README.md +++ b/README.md @@ -1,4 +1,10 @@ # Kotlin SCIP support + +> [!NOTE] +> This repository has been merged into +> [scip-java](https://github.com/scip-code/scip-java) and is no longer relevant. +> Please refer to that repository going forward. + This codebase implements a Kotlin compiler plugin that can be used together with