aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorCamil Staps2019-02-28 10:27:37 +0100
committerCamil Staps2019-02-28 10:27:37 +0100
commite987fea1ab81d16a419c62a37eec813fec74a22c (patch)
tree1569c77c6c89c4bf625ecb8370d04a448bddbb7c
parentAdd overview on A5 paper (diff)
Remove CI badge from readme (now as gitlab project badge)
-rw-r--r--README.md2
1 files changed, 1 insertions, 1 deletions
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: