gitignore html/ folder (contains gh-pages branch)

2026-05-09 22:49:53 +08:00 · 2012-01-10 17:10:12 +01:00
parent 68a0c5c526
commit a146aa9809
1 changed files with 3 additions and 0 deletions
@@ -1,3 +1,6 @@
+# ignore html dir for github pages
+/html
+
 *.so
 *.[oa]
 *.out