From c9bc3e80280fd8a38f6297de80196dcbff9c28d9 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Mon, 24 Jan 2022 17:06:40 -0500 Subject: Remove trailing whitespace from help/ markdown sources --- help/define.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'help/define.md') diff --git a/help/define.md b/help/define.md index b36b5fc0..9947af70 100644 --- a/help/define.md +++ b/help/define.md @@ -12,4 +12,4 @@ Variable `n` must not already exist. ⊢ b ← 3‿3 ⥊ 5 - C ← ↑ \ No newline at end of file + C ← ↑ -- cgit v1.2.3