diff options
| author | Valery Ushakov <uwe@stderr.spb.ru> | 2020-01-01 03:03:27 +0300 |
|---|---|---|
| committer | Valery Ushakov <uwe@stderr.spb.ru> | 2020-01-01 03:03:27 +0300 |
| commit | 7828d5d2aa2aeba1588dba190fd80dcab95d982b (patch) | |
| tree | d1eafdafcdfc6663adbb90026ba36995ea041419 /.gitignore | |
| parent | 258f4974aca51f197616058e11774242ce91b21d (diff) | |
| parent | 012b00b7e47ed291b1f2ab07745f5a53db357c91 (diff) | |
Merged inferno-os/inferno-os into master
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -54,6 +54,10 @@ y.debug # initial mk from makemk.sh /utils/mk/mk +# no binaries are committed for any of the netbsd ports +# can be deleted if wildcard from the comment below is enabled +/NetBSD/*/bin/ + # preserve the patterns from .hgignore, though perhaps all binaries # should be deleted and ignored with: # /[A-Z]*/*/bin/ |