diff options
-rw-r--r-- | .gitignore | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..31a529c --- /dev/null +++ b/.gitignore @@ -0,0 +1,5 @@ +*.cert +*.fasl +*.port +*.lx64fsl +*~ |
index : bookshelf.git | ||
ACL2 で作ってみた自作ライブラリ関連 | Masaya Tojo |
summaryrefslogtreecommitdiff |
-rw-r--r-- | .gitignore | 5 |
diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..31a529c --- /dev/null +++ b/.gitignore @@ -0,0 +1,5 @@ +*.cert +*.fasl +*.port +*.lx64fsl +*~ |