From 82a8bb7a4bba137be92776e5dddb84f7cebb5867 Mon Sep 17 00:00:00 2001 From: OakenKnight Date: Wed, 13 Nov 2024 18:40:32 +0100 Subject: [PATCH] fixed broken link for quint-cheatsheet.pdf in README.md --- docs/README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/README.md b/docs/README.md index 97e4ef5cf..3b49ed1d2 100644 --- a/docs/README.md +++ b/docs/README.md @@ -4,7 +4,7 @@ - [Language tutorials](../tutorials/README.md) - [Syntax specification](./lang.md) -- [Cheatsheet](./quint-cheatsheet.pdf) +- [Cheatsheet](./public/quint-cheatsheet.pdf) - [API documentation for built-in operators](./builtin.md) ## Tooling