diff options
Diffstat (limited to 'openpgp-ffi')
| -rw-r--r-- | openpgp-ffi/rustdoc.head.html | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/openpgp-ffi/rustdoc.head.html b/openpgp-ffi/rustdoc.head.html deleted file mode 100644 index 5c4cb580..00000000 --- a/openpgp-ffi/rustdoc.head.html +++ /dev/null @@ -1,4 +0,0 @@ -<link rel="stylesheet" - href="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.12.0/styles/default.min.css"> -<script src="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.12.0/highlight.min.js"></script> -<script>hljs.initHighlightingOnLoad();</script> |