diff options
| author | Marc Glisse <marc.glisse@inria.fr> | 2019-11-16 06:34:54 +0100 |
|---|---|---|
| committer | Marc Glisse <marc.glisse@inria.fr> | 2019-11-16 06:34:54 +0100 |
| commit | c3414741af6ef98703ba9414803aff5a2d08777d (patch) | |
| tree | 7a1b236ef6b11e8a687eaabb2c1f08dd3523a76f /.gitignore | |
| parent | d091cf5369c2eba0bb301942842d56606a45af76 (diff) | |
More 'is' to '=='
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions