diff options
Diffstat (limited to 'web/header.html')
-rw-r--r-- | web/header.html | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/web/header.html b/web/header.html deleted file mode 100644 index 67935b585..000000000 --- a/web/header.html +++ /dev/null @@ -1,13 +0,0 @@ -<div id="sidebar"> -<ul> -<li><a href="index.html" title="Home page">Home</a></li> -<li><a href="features.html" title="Pandoc features">Features</a></li> -<li><a href="examples.html" title="Pandoc demos">Examples</a></li> -<li><a href="README.html" title="Pandoc user's guide">User’s Guide</a></li> -<li><a href="doc/index.html" title="API documentation for Pandoc libraries">API Docs</a></li> -<li><a href="changelog.html" title="Pandoc's changelog">Changelog</a></li> -</ul> -</div> -<div id="main" class="withleftmenu"> - - |