From 16a2355294ee5fca955ac53b2f1a107f62486e50 Mon Sep 17 00:00:00 2001 From: Sander Spies Date: Mon, 16 Mar 2020 22:30:28 +0100 Subject: [PATCH] Remove empty lines. --- gitlab-pages/docs/reference/big_map.md | 3 --- 1 file changed, 3 deletions(-) diff --git a/gitlab-pages/docs/reference/big_map.md b/gitlab-pages/docs/reference/big_map.md index 956752427..c122e0270 100644 --- a/gitlab-pages/docs/reference/big_map.md +++ b/gitlab-pages/docs/reference/big_map.md @@ -12,12 +12,9 @@ A lazily deserialized map that's intended to store large amounts of data. The gast costs of deserialized maps are higher than standard maps as data is lazily deserialized. - type big_map (key, value) - - type ('key, 'value) big_map