diff options
| -rw-r--r-- | .gitignore | 2 | ||||
| -rw-r--r-- | changelog.d/15319.misc | 1 |
2 files changed, 2 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore index 96c451258e..9d037f28e7 100644 --- a/.gitignore +++ b/.gitignore @@ -62,7 +62,7 @@ book/ # complement /complement-* -/master.tar.gz +/main.tar.gz # rust /target/ diff --git a/changelog.d/15319.misc b/changelog.d/15319.misc new file mode 100644 index 0000000000..339e5b347d --- /dev/null +++ b/changelog.d/15319.misc @@ -0,0 +1 @@ +Fix `.gitignore` rule for the Complement source tarball downloaded automatically by `complement.sh`. \ No newline at end of file |