diff options
| author | Alberto Ruiz <aruiz@um.es> | 2017-03-17 13:46:08 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-03-17 13:46:08 +0100 |
| commit | 76fee2219280b40b994796d1cfb4b2813618e863 (patch) | |
| tree | b0d89ed2ef042720aff5c7ad5b5a8ba8bd7bebc8 /.gitignore | |
| parent | d2d0066d2ff3d8e66ce902ee1b9d1317f1710a2c (diff) | |
| parent | 494b910a084f4daed21055aedf315f2c12074617 (diff) | |
Merge pull request #222 from HuwCampbell/master
Fix bug in equal
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions