diff options
Diffstat (limited to 'blog/hash_prod')
| -rwxr-xr-x | blog/hash_prod/hash_blog.ml | 1 | ||||
| -rwxr-xr-x | blog/hash_prod/hash_localhost.ml | 1 |
2 files changed, 0 insertions, 2 deletions
diff --git a/blog/hash_prod/hash_blog.ml b/blog/hash_prod/hash_blog.ml deleted file mode 100755 index f5e172e..0000000 --- a/blog/hash_prod/hash_blog.ml +++ /dev/null @@ -1 +0,0 @@ -let expected_host = [%static_hash "blog.chimrod.com"] 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 ""] |