diff options
| author | Alban Gruin | 2017-11-25 14:22:03 +0100 |
|---|---|---|
| committer | Alban Gruin | 2017-11-25 14:22:03 +0100 |
| commit | 621f5d7f0d28f7252e1ff0c0f1286824fa55c33e (patch) | |
| tree | bc75bdb59ad82e960578b585af83c6f06882cdbe /__init__.py | |
| parent | d9e0cba8c24978150e66b9ccd7ea67aa50a5f22d (diff) | |
On ne compare plus les id des emplois du temps dans corresponds_to()
car dans le seul appel « utile », les arguments passés font forcément
partie du même edt. Changement effectué pour des questions de
performance.
Correction des tests.
Diffstat (limited to '__init__.py')
0 files changed, 0 insertions, 0 deletions