misc: make public some scripts used by Jenkins

[nit.git] / misc / jenkins / README

diff --git a/misc/jenkins/README b/misc/jenkins/README
new file mode 100644 (file)
index 0000000..7fbe77c
--- /dev/null
+++ b/misc/jenkins/README
@@ -0,0 +1 @@
+Some scripts used by the Nit Jenkins for continuous integration, but you can use them also.