From 7a47c0c872f3886c08d3abcb8dd92ef654019817 Mon Sep 17 00:00:00 2001 From: Henning Peters Date: Fri, 9 Oct 2015 16:37:57 +0200 Subject: [PATCH] push version --- website/src/jade/home/index.jade | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/website/src/jade/home/index.jade b/website/src/jade/home/index.jade index 89635b180..a77dd323c 100644 --- a/website/src/jade/home/index.jade +++ b/website/src/jade/home/index.jade @@ -35,4 +35,4 @@ include ../header.jade +Section("Comparisons and Benchmarks", "comparisons", "./_comparisons.jade") +Section("Online Demo", "online-demo", "./_online_demo.jade") +Section("Usage by Example", "example-use", "./_usage_examples.jade") - +Section("Install v0.93", "install", "./_installation.jade") + +Section("Install v0.94", "install", "./_installation.jade")