diff options
| -rw-r--r-- | include/ext/hash_map | 2 | ||||
| -rw-r--r-- | include/ext/hash_set | 2 |
2 files changed, 0 insertions, 4 deletions
diff --git a/include/ext/hash_map b/include/ext/hash_map deleted file mode 100644 index 4b936557de..0000000000 --- a/include/ext/hash_map +++ /dev/null @@ -1,2 +0,0 @@ - -#include <hash_map> diff --git a/include/ext/hash_set b/include/ext/hash_set deleted file mode 100644 index af4c914ed8..0000000000 --- a/include/ext/hash_set +++ /dev/null @@ -1,2 +0,0 @@ - -#include <hash_set> |