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 /src/GUDHIConfigVersion.cmake.in | |
parent | 33b63b9d364bdb2d470a3eac878fe48e3a4e7da6 (diff) |
Document None as matching in the infinite distance case
Diffstat (limited to 'src/GUDHIConfigVersion.cmake.in')
0 files changed, 0 insertions, 0 deletions