From 1269dd13005354c67f6099618fc5a924451902c0 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Tue, 13 Jul 2021 11:28:05 +0200
Subject: [PATCH] [fc-lang] introduce public git repo
---
_fc-plugins/frama-clang.md | 3 +++
1 file changed, 3 insertions(+)
diff --git a/_fc-plugins/frama-clang.md b/_fc-plugins/frama-clang.md
index 28d5732d..99c261b0 100644
--- a/_fc-plugins/frama-clang.md
+++ b/_fc-plugins/frama-clang.md
@@ -46,6 +46,9 @@ please consult the [Frama-Clang manual]({{page.manual_pdf}}).
The current version is 0.0.11. The frama-clang plugin can be downloaded
[here](/download/frama-clang-0.0.11.tar.gz).
+Frama-Clang also has its own public git [repository](https://git.frama-c.com/pub/frama-clang),
+whose `master` branch should always be synchronized with Frama-C's own `master` branch.
+
### Requirements
- Frama-C 23.x Vanadium
--
GitLab