diff options
| author | Iavor S. Diatchki <diatchki@galois.com> | 2011-07-28 10:42:47 -0700 |
|---|---|---|
| committer | Iavor S. Diatchki <diatchki@galois.com> | 2011-07-28 10:42:47 -0700 |
| commit | 496029fc2a0922685f372f456b44780b1df61c27 (patch) | |
| tree | 5bc79761c33d71a33d896dce85932e080939cd78 /.gitignore | |
| parent | 9ae466f15ba83b49e08683e7062bacd1ea16e7ba (diff) | |
Update dependency to allow base 4.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions