diff options
| author | Omar Polo <op@omarpolo.com> | 2021-07-11 18:43:24 +0000 |
|---|---|---|
| committer | Omar Polo <op@omarpolo.com> | 2021-07-11 18:43:24 +0000 |
| commit | 02ccd9d9409ac5b2889154fe52d751689ec40e9a (patch) | |
| tree | 725edbf1498f8d0ffdce68f1968c6bafb76110f8 /.dockerignore | |
| parent | e8b80030984be6eb0621f998d970c075a45466e5 (diff) | |
move the Dockerfile to contrib/
Diffstat (limited to '.dockerignore')
| -rw-r--r-- | .dockerignore | 11 |
1 files changed, 4 insertions, 7 deletions
diff --git a/.dockerignore b/.dockerignore index 2e11fc7..6d290c9 100644 --- a/.dockerignore +++ b/.dockerignore @@ -1,7 +1,4 @@ -.git -*.o -gmid -gg -regress -Makefile.local -config.h +** +!*.c +!Makefile +!configure |