diff options
| author | Kevin Ji <1146876+kevinji@users.noreply.github.com> | 2023-10-02 04:53:53 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-10-02 11:53:53 +0300 |
| commit | ea55295a745c084f588be20710f5a1a12abb1109 (patch) | |
| tree | 72e124cd296970c43e2d00131ef2313233f424b6 | |
| parent | c97f01c362ac102c6994edb80008f8608539553a (diff) | |
docker : ignore Git files (#3314)
| -rw-r--r-- | .dockerignore | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.dockerignore b/.dockerignore index c6ef6c86..633bbc3a 100644 --- a/.dockerignore +++ b/.dockerignore @@ -1,6 +1,9 @@ *.o *.a .cache/ +.git/ +.github/ +.gitignore .vs/ .vscode/ .DS_Store |