From e9162b92502a3bdd8031ee901491cf6345237da6 Mon Sep 17 00:00:00 2001 From: chayleaf Date: Wed, 25 Oct 2023 21:05:26 +0700 Subject: [PATCH] gitignore: remove redundant /result entry --- .gitignore | 1 - 1 file changed, 1 deletion(-) diff --git a/.gitignore b/.gitignore index f0807473f06b..e9d2f987259d 100644 --- a/.gitignore +++ b/.gitignore @@ -16,7 +16,6 @@ repl-result-* /doc/NEWS.txt /doc/manual.html /doc/manual.pdf -/result /source/ .version-suffix