Fix .gitignore

ArthurSonzogni · Jun 24, 2023 · 5b5c6e1 · 5b5c6e1
1 parent e9e1451
commit 5b5c6e1
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/.gitignore b/.gitignore
@@ -44,16 +44,13 @@
 !examples/**/*.html.disabled
 
 # include directory:
-!include/ftxui/
 !include/ftxui/**/*.hpp
 !include/ftxui/**/*.cpp
 
 # src directory:
-!src/
 !src/ftxui/**/*.hpp
 !src/ftxui/**/*.cpp
 
 # tools directory:
-!tools/
 !tools/**/*.sh
 !tools/**/*.cpp