diff options
| author | P. J. McDermott <pj@pehjota.net> | 2017-07-22 14:10:16 (EDT) |
|---|---|---|
| committer | P. J. McDermott <pj@pehjota.net> | 2017-07-22 14:10:16 (EDT) |
| commit | e485e67e0234ec54a61f2699fd0e77c0d6e0a5b5 (patch) | |
| tree | c17ec8461b1be657f21eeb8007d16fcf2754d91d /.gitignore | |
| parent | ecf4dead3377eeca130af6983524569817337a51 (diff) | |
`git ls-files | xargs sed -i 's/\.sm/.sho/g'`
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -7,8 +7,8 @@ Session.vim # Generated files Makefile src/*[^.]?? -lib/*.sm -lib/*/*.sm +lib/*.sho +lib/*/*.sho man/*.? locale/*/*.ms pro-archman-*.tar.* |