gitignore: remove redundant /result entry

ethnh · Oct 25, 2023 · e9162b9 · e9162b9
1 parent 3be4a51
commit e9162b9
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.gitignore b/.gitignore
@@ -16,7 +16,6 @@ repl-result-*
 /doc/NEWS.txt
 /doc/manual.html
 /doc/manual.pdf
-/result
 /source/
 .version-suffix