diff options
| author | Jack Lloyd <[email protected]> | 2017-09-27 20:28:19 -0400 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2017-09-27 20:28:19 -0400 |
| commit | 9c8a5e5d8f9f2e0bc4607255dadcb1d44aa1b2b8 (patch) | |
| tree | b206bb37edbe745242c7e7471249af20ca656369 /src/lib/utils/info.txt | |
| parent | c3b3d344b46099fff9c4d65556a45c973398a20f (diff) | |
Make poly_dbl.h a submodule of utils
Only required by a few modules and if none of them are in use
then the whole thing can just be skipped from the build.
Diffstat (limited to 'src/lib/utils/info.txt')
| -rw-r--r-- | src/lib/utils/info.txt | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/lib/utils/info.txt b/src/lib/utils/info.txt index 644bff901..5a0ce469c 100644 --- a/src/lib/utils/info.txt +++ b/src/lib/utils/info.txt @@ -31,7 +31,6 @@ ct_utils.h donna128.h filesystem.h os_utils.h -poly_dbl.h prefetch.h rounding.h safeint.h |