diff options
author | Bryan Drewery <bryan@shatow.net> | 2017-02-18 09:24:25 +0300 |
---|---|---|
committer | Bryan Drewery <bryan@shatow.net> | 2017-02-18 09:25:23 +0300 |
commit | 0426aefd294a1eb5dbb666a285b1d681dfd8512c (patch) | |
tree | 74dd623ffd98520dfebddeffe8edb58295216d65 /.gitignore | |
parent | e43ee759ab70fd1cfb29105858df039c3823fbc2 (diff) |
Add plumbing to append to external/sh/builtins.def via src/sh/builtins.def
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -44,6 +44,7 @@ src/stamp-h1 test/*.log test/etc external/sh/builtins.c +external/sh/builtins.def external/sh/builtins.h external/ptsort/.git external/ptsort/.gitignore |