diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-12-14 17:38:21 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2016-12-14 18:25:19 +0100 |
| commit | 90ce8875c874f011b335390b3b41422793e1c7aa (patch) | |
| tree | fae5c3e54ab92b8651122931035ddfd35f61e532 /.gitignore | |
| parent | ba06bf06721f1a8de7d68d22ad7eba27fff90c43 (diff) | |
| download | dotty-90ce8875c874f011b335390b3b41422793e1c7aa.tar.gz dotty-90ce8875c874f011b335390b3b41422793e1c7aa.tar.bz2 dotty-90ce8875c874f011b335390b3b41422793e1c7aa.zip | |
More tests and other odds and end
- Add tests that work to pos/neg, tests that don't work yet to pending/pos/neg.
- Also, change .gitignore to allow for a local directory.
- Also add a draft page to the docs.
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 9d9f8fa3b..1a0b1b6a7 100644 --- a/.gitignore +++ b/.gitignore @@ -49,3 +49,7 @@ build/ .packages /.cache-main /.cache-tests + +# Put local stuff here +local/ + |