diff options
author | P. J. McDermott <pjm@nac.net> | 2013-05-09 14:00:43 (EDT) |
---|---|---|
committer | P. J. McDermott <pjm@nac.net> | 2013-05-09 14:00:43 (EDT) |
commit | eb7ec4e4478bcd1879cafa71917edb5f9e1f3808 (patch) | |
tree | 64cef588286e6b071b9eb0313196ba105224cdae /.gitignore | |
parent | e03a36a3efe60593a0aa7e1cc22722d25abc33d6 (diff) |
Remove old mkarchtab makefile.feature/provide-archtab
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -6,7 +6,6 @@ Session.vim # Generated files Makefile -mkarchtab src/*[^.]?? lib/*.sm lib/*/*.sm |