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