diff options
Diffstat (limited to 'static/blog/2020-02-15-nix-for-coq-development.html')
-rw-r--r-- | static/blog/2020-02-15-nix-for-coq-development.html | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/static/blog/2020-02-15-nix-for-coq-development.html b/static/blog/2020-02-15-nix-for-coq-development.html deleted file mode 100644 index 3e47f9d..0000000 --- a/static/blog/2020-02-15-nix-for-coq-development.html +++ /dev/null @@ -1,8 +0,0 @@ -<!DOCTYPE html> -<html> - <head> - <meta http-equiv="Refresh" content="0; url='https://yannherklotz.com/blog/2020-02-15-nix-for-coq-development/'" /> - </head> - <body> - </body> -</html> |