diff options
author | Sandro <sandro.jaeckel@gmail.com> | 2024-03-11 11:44:37 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-03-11 11:44:37 +0100 |
commit | aa8dcbf4e267449e52b593e67484f4cac2c7e326 (patch) | |
tree | ef2865fbf43f45957d399791038bdbd1cfcd3203 /.gitignore | |
parent | 1e735102aa7ebf08f4815fbe1516fc2bb3f93787 (diff) | |
parent | e9162b92502a3bdd8031ee901491cf6345237da6 (diff) |
Merge pull request #263348 from chayleaf/redundant-result
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore index e73debc369c5..2753c9073832 100644 --- a/.gitignore +++ b/.gitignore @@ -17,7 +17,6 @@ tags /doc/NEWS.txt /doc/manual.html /doc/manual.pdf -/result /source/ .version-suffix |