From e987fea1ab81d16a419c62a37eec813fec74a22c Mon Sep 17 00:00:00 2001 From: Camil Staps Date: Thu, 28 Feb 2019 10:27:37 +0100 Subject: Remove CI badge from readme (now as gitlab project badge) --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 585f6f8..a4d507d 100644 --- a/README.md +++ b/README.md @@ -1,4 +1,4 @@ -# Clean RTS Cheat Sheets [![pipeline status](https://gitlab.science.ru.nl/cstaps/clean-rts-cheat-sheet/badges/master/pipeline.svg)](https://gitlab.science.ru.nl/cstaps/clean-rts-cheat-sheet/commits/master) +# Clean RTS Cheat Sheets This repository holds cheat sheets for people hacking around with the [Clean][] run-time system. Clone the repository to build the PDFs or download them here: -- cgit v1.2.3