diff options
author | Marc Glisse <marc.glisse@inria.fr> | 2020-03-24 14:50:53 +0100 |
---|---|---|
committer | Marc Glisse <marc.glisse@inria.fr> | 2020-03-24 15:23:44 +0100 |
commit | ec4a9583adaa73c01b05a4b30425581ed7256379 (patch) | |
tree | ec5d9bb90fb86489c4dd1c7ea6a4b0d26083c31e /.gitignore | |
parent | b7e19cf798e1dbf203380f1fe48aa0709177d7de (diff) |
Remove min_persistence from generators
It is supposed to be handled in persistence() already.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions