diff options
Diffstat (limited to 'src/lib/utils/info.txt')
| -rw-r--r-- | src/lib/utils/info.txt | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/lib/utils/info.txt b/src/lib/utils/info.txt index 60a10b058..c9b419dcc 100644 --- a/src/lib/utils/info.txt +++ b/src/lib/utils/info.txt @@ -25,7 +25,6 @@ stl_compatibility.h </header:public> <header:internal> -barrier.h bit_ops.h ct_utils.h donna128.h @@ -34,7 +33,6 @@ os_utils.h prefetch.h rounding.h safeint.h -semaphore.h stl_util.h </header:internal> |