diff options
Diffstat (limited to 'blog/hash_prod/hash_localhost.ml')
-rwxr-xr-x | blog/hash_prod/hash_localhost.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/blog/hash_prod/hash_localhost.ml b/blog/hash_prod/hash_localhost.ml deleted file mode 100755 index c652b6a..0000000 --- a/blog/hash_prod/hash_localhost.ml +++ /dev/null @@ -1 +0,0 @@ -let expected_host = [%static_hash ""] |