diff --git a/README.md b/README.md index 139b1c281338009d4014e8b0293a9ebcd2a14236..dd7f1f69ddc841a654ce056d4c26cf0b37a8aa18 100644 --- a/README.md +++ b/README.md @@ -6,9 +6,6 @@ system. Use it and update it if you must. In the directory `install`, you'll find scripts and instructions related to the installation and maintenance of new build machines. -In the directory `ci`, you'll find scripts that are used for our continuous -integration builds. These scripts are now deprecated - In the directory `gitlab`, you'll find scripts that are used for our continuous integration builds. These correspond to the new generation scripts.