diff options
Diffstat (limited to 'rpkid/doc/manual.html')
| -rw-r--r-- | rpkid/doc/manual.html | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/rpkid/doc/manual.html b/rpkid/doc/manual.html deleted file mode 100644 index 5ff9530c..00000000 --- a/rpkid/doc/manual.html +++ /dev/null @@ -1,10 +0,0 @@ -<!-- $Id$ --> -<html> - <head> - <meta http-equiv="refresh" content="0; URL=http://www.hactrn.net/rpki-dox/index.html"> - </head> - <body> - Automatically redirecting to online manual; if this doesn't work, please go to - <a href="http://www.hactrn.net/rpki-dox/">http://www.hactrn.net/rpki-dox/</a> - </body> -</html> |