diff options
| author | Marc Glisse <marc.glisse@inria.fr> | 2020-11-01 20:42:43 +0100 |
|---|---|---|
| committer | Marc Glisse <marc.glisse@inria.fr> | 2020-11-01 20:42:43 +0100 |
| commit | c54a40fc6293fd746e1842f6811efae96df36bed (patch) | |
| tree | d784159d5b794192b257e03d0e04f0d4be3f39c5 /src/cmake | |
| parent | c1579e92d6cc78958522604769b0bc595c5f0eae (diff) | |
Document that only double is supported.
Diffstat (limited to 'src/cmake')
0 files changed, 0 insertions, 0 deletions