From 6b1df1551830f91c0c194cf71b8265aed53602e8 Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Mon, 31 Aug 2020 11:07:26 +0200
Subject: [PATCH] chore: ignore test output files

---
 tests/lean/.gitignore | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/tests/lean/.gitignore b/tests/lean/.gitignore
index 3bb636aca3..e423f8fd20 100644
--- a/tests/lean/.gitignore
+++ b/tests/lean/.gitignore
@@ -1 +1,3 @@
-/readonly.txt
\ No newline at end of file
+/readonly.txt
+/stdout1.txt
+/stdout2.txt