Skip to content

Commit

Permalink
Update tools/repo_initialization.sh
Browse files Browse the repository at this point in the history
Co-authored-by: Fábio P A Teixeira <[email protected]>
  • Loading branch information
danieldsdias and FPTeixeira authored May 22, 2024
1 parent 836b294 commit d4e3f34
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion tools/repo_initialization.sh
Original file line number Diff line number Diff line change
Expand Up @@ -32,7 +32,7 @@ function add_to_gitignore() {
if grep -Fxq "$filename" .gitignore; then
echo "$filename already on .gitignore."
else
echo "$filename" >>.gitignore
echo "$filename" >> .gitignore
echo "$filename added to .gitignore."
fi
}
Expand Down

0 comments on commit d4e3f34

Please sign in to comment.