diff options
| author | Jakub Jirutka <jakub@jirutka.cz> | 2017-12-01 17:34:36 +0100 |
|---|---|---|
| committer | Jakub Jirutka <jakub@jirutka.cz> | 2017-12-01 17:35:04 +0100 |
| commit | 3efb9cf76910560afe09af0b5e80c903ead466d1 (patch) | |
| tree | 47e53e33fadfc179b9352623b56d374950826e3d /.gitignore | |
| parent | 3ce3c4fd596debefbad77328a9b62a39eccf753c (diff) | |
| download | aports-3efb9cf76910560afe09af0b5e80c903ead466d1.tar.bz2 aports-3efb9cf76910560afe09af0b5e80c903ead466d1.tar.xz | |
gitignore: fix to not ignore directories named "core"
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index a922156cf4..9313b042bd 100644 --- a/.gitignore +++ b/.gitignore @@ -13,3 +13,4 @@ pkg pkg-* build.log core +!core/ |