diff options
| author | Jakob Odersky <jakob@odersky.com> | 2016-05-18 17:31:14 -0700 |
|---|---|---|
| committer | Jakob Odersky <jakob@odersky.com> | 2016-05-18 17:31:14 -0700 |
| commit | d7b29ac355b3f556d3ba8b9c534016112d425fde (patch) | |
| tree | 1d3894656f89c6ccd8b2a989a65706fdcff18f08 /.gitignore | |
| parent | e59c4f516d8f58d7f777639c5fc69c0cdb19919d (diff) | |
| download | dummy-d7b29ac355b3f556d3ba8b9c534016112d425fde.tar.gz dummy-d7b29ac355b3f556d3ba8b9c534016112d425fde.tar.bz2 dummy-d7b29ac355b3f556d3ba8b9c534016112d425fde.zip | |
trigger build
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions