From 835addcbb93700aa11456f1bf1d3da3089c82e65 Mon Sep 17 00:00:00 2001 From: Gavin Gray <20209337+gavinleroy@users.noreply.github.com> Date: Wed, 3 Jul 2024 17:16:56 -0600 Subject: [PATCH] README --- README.md | 2 -- 1 file changed, 2 deletions(-) diff --git a/README.md b/README.md index 76cefa8..3b81921 100644 --- a/README.md +++ b/README.md @@ -4,8 +4,6 @@ Argus is a tool to help you with compiler errors related to traits. If you have ever seen an error that says `the trait bound ... is not satisfied`, that is a good opportunity to use Argus. An IDE extension is available for VSCode which provides the Argus Inspection Panel. -> 📝 Argus development has temporarily moved to a **private repository** to respect grant conditions. Releases are expected to continue shortly. - ## Limitations > :warning: **Argus is research software and is under active development!** :warning: