summaryrefslogtreecommitdiffstats
path: root/.gitignore
diff options
context:
space:
mode:
authorP. J. McDermott <pjm@nac.net>2013-10-23 13:19:35 (EDT)
committer P. J. McDermott <pjm@nac.net>2013-10-23 13:19:35 (EDT)
commit806c5781a8cf3834eb1594ba4cdbe367c0b52f72 (patch)
tree0a6a717da97f4ece05ac83d123887f29e1dba416 /.gitignore
parent8bd97e2a7944c98b1c19c7ebf0f6df6e72561e88 (diff)
.gitignore: Add *.sm patterns.
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore2
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index a50de99..af3f1d0 100644
--- a/.gitignore
+++ b/.gitignore
@@ -20,5 +20,7 @@ Makefile
# Files generated by Makefile
src/*[^.]??
+lib/*.sm
+lib/*/*.sm
*-*/
*-*.tar*