diff options
Diffstat (limited to 'static/papers/fvhls_oopsla21.pdf/index.html')
-rw-r--r-- | static/papers/fvhls_oopsla21.pdf/index.html | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/static/papers/fvhls_oopsla21.pdf/index.html b/static/papers/fvhls_oopsla21.pdf/index.html new file mode 100644 index 0000000..a375ea5 --- /dev/null +++ b/static/papers/fvhls_oopsla21.pdf/index.html @@ -0,0 +1,10 @@ +<!DOCTYPE html> +<html> + <head> + <title>https://yannherklotz.com/papers/oopsla21_fvhls.pdf</title> + <link rel="canonical" href="https://yannherklotz.com/papers/oopsla21_fvhls.pdf"/> + <meta name="robots" content="noindex"> + <meta http-equiv="content-type" content="text/html; charset=utf-8"/> + <meta http-equiv="refresh" content="0; url=https://yannherklotz.com/papers/oopsla21_fvhls.pdf"/> + </head> +</html> |