ドキュメントのヘッダーを修正

[YACASL2.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index 0e696c4..2366c7a 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -6,4 +6,6 @@
 GPATH
 GRTAGS
 GTAGS
-HTML
+#*
+core
+/Doxyfile