Files
blis/config_registry
Jeff Hammond 60de939deb fix link to docs
the comment contains an incorrect link, which is trivially fixed here.

@fgvanzee I hope you don't mind that I committed directly to master but this cannot break anything.
2020-01-01 21:30:38 -08:00

1.2 KiB