diff options
| author | Marc Glisse <marc.glisse@inria.fr> | 2022-12-10 21:21:57 +0100 |
|---|---|---|
| committer | Marc Glisse <marc.glisse@inria.fr> | 2022-12-10 21:21:57 +0100 |
| commit | eb6c94ea1125bf216ec5f07b2936dd115e461aa4 (patch) | |
| tree | ddcab8f7dced002c6dbe59ad2263f7f39b472369 /.github/next_release.md | |
| parent | 33b63b9d364bdb2d470a3eac878fe48e3a4e7da6 (diff) | |
Document None as matching in the infinite distance case
Diffstat (limited to '.github/next_release.md')
0 files changed, 0 insertions, 0 deletions