| commit | 4ffc1e0b69cfbdf0029e48f85469b709ad9f38f1 | [log] [tgz] |
|---|---|---|
| author | Ivan Pilat <ivanpi@google.com> | Mon Nov 30 18:07:05 2015 -0800 |
| committer | Ivan Pilat <ivanpi@google.com> | Mon Nov 30 18:07:05 2015 -0800 |
| tree | 66fa043d29a871863be7089a93131175bded2e9c | |
| parent | bbe89a96fa16e6b02ebfe3838fc7a3c3d4f5f9ff [diff] |
Adding .jiri to .gitignore.