diff options
| author | Maxime Dénès | 2019-12-19 18:22:46 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2019-12-19 18:22:46 +0100 |
| commit | 5c667d56cd0a441f787019aef44bf18bec9c7b20 (patch) | |
| tree | 5522a81b074ae70ff81a482f27a63040c57c4f8c /lib | |
| parent | 6621e7cf79d7d824461de14007b2a06cabe59aef (diff) | |
| parent | da4e9e30330f32e57f85aec63f354812dbb6b829 (diff) | |
Merge PR #11247: Use standard float and integer datatypes in Votour representation.
Reviewed-by: maximedenes
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions