diff options
author | Guillaume Martres <smarter@ubuntu.com> | 2016-11-04 00:48:36 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-11-04 00:48:36 +0100 |
commit | 6ba6ea542d7915a48b426fea1f75f9cb8c2db424 (patch) | |
tree | f728f6c54fe8c2e57ae136ef08d6fb20eaca534b /.gitignore | |
parent | 98a92c6f4ec743edb9465071dcfd43f17dbf054b (diff) | |
parent | d694f15a028cf14ea0cf210d3113c7b1d6af54e7 (diff) | |
download | dotty-6ba6ea542d7915a48b426fea1f75f9cb8c2db424.tar.gz dotty-6ba6ea542d7915a48b426fea1f75f9cb8c2db424.tar.bz2 dotty-6ba6ea542d7915a48b426fea1f75f9cb8c2db424.zip |
Merge pull request #1587 from dotty-staging/change-tasty-pos
Fix Tasty positions
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index a34babd4f..7c5baf8f8 100644 --- a/.gitignore +++ b/.gitignore @@ -45,3 +45,5 @@ build/ # Ignore build-file .packages +/.cache-main +/.cache-tests |