diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-03-07 10:23:25 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-03-07 10:23:25 +0100 |
| commit | a51f724b8b9e24c7d38e59fc61a8bfa211c2076d (patch) | |
| tree | acfd9b3180ef3a69618a0da7a7951df507620d28 /doc/classes/Basis.xml | |
| parent | c20860a1f46254ae0e1bdf069b4cd9727b2848c2 (diff) | |
| parent | a41fb2fa3cf286290084af93b769658e0f074400 (diff) | |
Merge pull request #57812 from piiertho/bugfix/add-none-enum-global-constants
Diffstat (limited to 'doc/classes/Basis.xml')
0 files changed, 0 insertions, 0 deletions