update misc/jenkins/readme

Signed-off-by: Jean Privat <[email protected]>
nitlang · Jun 27, 2024 · 1c2970b · 1c2970b
1 parent 9f029db
commit 1c2970b
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/misc/jenkins/README.md b/misc/jenkins/README.md
@@ -1 +1,2 @@
-Some scripts used by the Nit Jenkins for continuous integration, but you can use them also.
+Some scripts used by the continuous integration, but you can use them also.
+While Jenkins is not used anymore, we keep it as a legacy name and memento.