diff options
| author | Marc Glisse <marc.glisse@inria.fr> | 2020-11-22 23:37:18 +0100 |
|---|---|---|
| committer | Marc Glisse <marc.glisse@inria.fr> | 2020-11-22 23:37:18 +0100 |
| commit | 4a34c0b7b8be8b8e275b13823da31127bbd5f3b2 (patch) | |
| tree | c29da51473d20f6e39e04dd713c5c29a0e5174a3 /.gitmodules | |
| parent | 0a071114ad08d2ce149f8b484dd8ff1b96b61fb1 (diff) | |
Handle squared radius
Make it work without a breaking change, we can always make a change
later in a separate PR.
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions