Remove generated file

ebenoist · Nov 12, 2017 · f5faa73 · f5faa73
1 parent 55c7191
commit f5faa73
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 6 deletions.
diff --git a/.gitignore b/.gitignore
@@ -2,8 +2,7 @@
 *.o
 *.ko
 
-# Libraries
-*.lib
+# Libraries *.lib
 *.a
 *.la
 *.lo
@@ -49,3 +48,4 @@ target/*
 *.gch
 .DS_Store
 Doxyfile.bak
+Doxyfile
diff --git a/Doxyfile b/Doxyfile