diff options
author | Camil Staps | 2019-02-28 10:27:37 +0100 |
---|---|---|
committer | Camil Staps | 2019-02-28 10:27:37 +0100 |
commit | e987fea1ab81d16a419c62a37eec813fec74a22c (patch) | |
tree | 1569c77c6c89c4bf625ecb8370d04a448bddbb7c | |
parent | Add overview on A5 paper (diff) |
Remove CI badge from readme (now as gitlab project badge)
-rw-r--r-- | README.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,4 +1,4 @@ -# Clean RTS Cheat Sheets [](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: |