Code

[fb] Replace float with double#73

Code

Merged

craigsapp merged 1 commit intocraigsapp:mastercraigsapp/humlib:masterfrom WolfgangDrescher:fbWolfgangDrescher/humlib:fbCopy head branch name to clipboardMar 14, 2023

+6-6

Commits

Commits on Mar 14, 2023

• Replace float with double

  WolfgangDrescher

  committed
  78b31af

  Copy full SHA for 78b31af