diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-05-02 12:23:55 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-05-02 14:12:25 +0200 |
| commit | 4d9915573a3ebf4deb1078af0f00c060c5966f02 (patch) | |
| tree | e25e360121a60133605cb511dc1d6852fd5e5539 /.gitattributes | |
| parent | 58da4c35b15200b7279f18ea15bc8644618aae78 (diff) | |
organize top level files
Remove .gitattributes, we don't have any of these files now.
Move fuzzit.sh -> tools/fuzzit.sh.
Diffstat (limited to '.gitattributes')
| -rw-r--r-- | .gitattributes | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/.gitattributes b/.gitattributes deleted file mode 100644 index a5b1f2fb1..000000000 --- a/.gitattributes +++ /dev/null @@ -1,3 +0,0 @@ -executor/defs.h linguist-generated -executor/syscalls.h linguist-generated -sys/*/gen/*.go linguist-generated |