diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-08-22 15:59:20 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-08-22 15:59:20 +0200 |
| commit | ff7c10f709448755d8f1e1d2a98db2d2c1858d4c (patch) | |
| tree | 296695554d4a33d0d23a71e58276544e2eb699d0 /modules/text_server_fb/.gitignore | |
| parent | a677fdec2a9dae943b79fe7dfa0ee1492170bc51 (diff) | |
| parent | da7a5653f4319760d4fbfbeb97b95df9efbb3391 (diff) | |
Merge pull request #57297 from rafallus/orthogonal_index
Expose `Basis::set_orthogonal_index` as a GridMap method
Diffstat (limited to 'modules/text_server_fb/.gitignore')
0 files changed, 0 insertions, 0 deletions