diff options
| author | Michael Soegtrop | 2019-07-26 11:23:46 +0200 |
|---|---|---|
| committer | Michael Soegtrop | 2019-07-26 11:23:46 +0200 |
| commit | 2e37b4b30d0779dc960db80189e51ecd69f7e45a (patch) | |
| tree | f6583705ea010e8669388bc1af4af375a44c95b7 /tools | |
| parent | 9b7b34702f1134841f7f9408db27074b5479e07d (diff) | |
| parent | 7865d0baf96ccbde37ed2f85e5ddbd5c24047eba (diff) | |
Merge PR #10563: changed name of cos3PI4 to cos_3PI4 for consistency
Reviewed-by: MSoegtropIMC
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions