diff --git a/.gitignore b/.gitignore index e37c9675d353f551cbbab03e8dc15efe8359fe38..5d4d78662881515ed337f02a557621da2fa3a924 100644 --- a/.gitignore +++ b/.gitignore @@ -37,5 +37,3 @@ stl/ # Settings .gitconfig -.gitignore -