diff options
| author | Christoph Groth <christoph.groth@cea.fr> | 2018-01-12 12:21:02 +0100 |
|---|---|---|
| committer | Christoph Groth <christoph.groth@cea.fr> | 2018-02-23 12:55:00 +0100 |
| commit | 4c51624ae1e69a2084c012d227cb52289154f8bb (patch) | |
| tree | 5a8b335062ec2990c60068271d54cfbacbebc11d /.gitignore | |
| parent | 781c2a57f4803cbc0cbc0368f9e353fc4d90ca9a (diff) | |
use insort instead of sort
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions