diff options
| author |  Jason Gross <jagro@google.com> | 2016-07-01 08:54:23 -0700 |
|---|---|---|
| committer | Jason Gross <jagro@google.com> | 2016-07-01 08:54:23 -0700 |
| commit | f2f2f3e43f8a3058e0f5838d8bd7b24af6c99ac9 (patch) | |
| tree | d59113cf5fbb6c09824fe3403528e9d2f8962a64 /to_gallina.md | |
| parent | 0e8adaa7c1e546f442ac7e0f6d3e81c0e7e985b8 (diff) | |
Update .gitignore with lia, nia caches
Diffstat (limited to 'to_gallina.md')
0 files changed, 0 insertions, 0 deletions