ドキュメントファイルについての設定

author j8takagi <j8takagi@nifty.com>

Thu, 22 Nov 2012 03:06:01 +0000 (12:06 +0900)

committer j8takagi <j8takagi@nifty.com>

Thu, 22 Nov 2012 03:06:01 +0000 (12:06 +0900)
author j8takagi <j8takagi@nifty.com>
Thu, 22 Nov 2012 03:06:01 +0000 (12:06 +0900)
committer j8takagi <j8takagi@nifty.com>
Thu, 22 Nov 2012 03:06:01 +0000 (12:06 +0900)
diff --git a/doc/.gitignore b/doc/.gitignore

index 769fa12d9b315c192084b25e24e60ae850810803..707286e16b7c17a8f99ccdce91383f28e60b5f4d 100644 (file)
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -6,3 +6,4 @@ manual.html
  manual.pdf
  manual_html
  yacasl2.info
+casl2_spec.html
author	j8takagi <j8takagi@nifty.com>
	Thu, 22 Nov 2012 03:06:01 +0000 (12:06 +0900)
committer	j8takagi <j8takagi@nifty.com>
	Thu, 22 Nov 2012 03:06:01 +0000 (12:06 +0900)