Skip to content

Commit ebb4012

Browse files
committed
Deploying to gh-pages from @ 07c8d40 🚀
1 parent cd0ebc6 commit ebb4012

17 files changed

Lines changed: 0 additions & 34 deletions

File tree

dev/wodoc/Wodoc/Assemble/Parts/index.html

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -66,9 +66,7 @@
6666
<li class="drawermainmenu-project" data-wodoc-page="ocsipersist"><a href="/ocsipersist/">Ocsipersist</a></li>
6767
<li class="drawermainmenu-project" data-wodoc-page="reactiveData"><a href="/reactiveData/">ReactiveData</a></li>
6868
<li class="drawermainmenu-project" data-wodoc-page="ocsigen-i18n"><a href="/ocsigen-i18n/">i18n</a></li>
69-
<li class="drawermainmenu-project" data-wodoc-page="html_of_wiki"><a href="/html_of_wiki/">html_of_wiki</a></li>
7069
<li class="drawermainmenu-project current" data-wodoc-page="wodoc"><a href="/wodoc/">Wodoc</a></li>
71-
<li class="drawermainmenu-project" data-wodoc-page="ocsimore"><a href="/ocsimore/">Ocsimore (<em>deprecated</em>)</a></li>
7270
<li class="drawermainmenu-page" data-wodoc-page="projects"><a href="/projects">Other projects</a></li>
7371
<li class="drawermainmenu-page" data-wodoc-page="papers"><a href="/papers">Research papers</a></li>
7472
<li class="drawermainmenu-page" data-wodoc-page="credits"><a href="/credits">Who does Ocsigen?</a></li>

dev/wodoc/Wodoc/Assemble/index.html

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -66,9 +66,7 @@
6666
<li class="drawermainmenu-project" data-wodoc-page="ocsipersist"><a href="/ocsipersist/">Ocsipersist</a></li>
6767
<li class="drawermainmenu-project" data-wodoc-page="reactiveData"><a href="/reactiveData/">ReactiveData</a></li>
6868
<li class="drawermainmenu-project" data-wodoc-page="ocsigen-i18n"><a href="/ocsigen-i18n/">i18n</a></li>
69-
<li class="drawermainmenu-project" data-wodoc-page="html_of_wiki"><a href="/html_of_wiki/">html_of_wiki</a></li>
7069
<li class="drawermainmenu-project current" data-wodoc-page="wodoc"><a href="/wodoc/">Wodoc</a></li>
71-
<li class="drawermainmenu-project" data-wodoc-page="ocsimore"><a href="/ocsimore/">Ocsimore (<em>deprecated</em>)</a></li>
7270
<li class="drawermainmenu-page" data-wodoc-page="projects"><a href="/projects">Other projects</a></li>
7371
<li class="drawermainmenu-page" data-wodoc-page="papers"><a href="/papers">Research papers</a></li>
7472
<li class="drawermainmenu-page" data-wodoc-page="credits"><a href="/credits">Who does Ocsigen?</a></li>

dev/wodoc/Wodoc/Build/index.html

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -66,9 +66,7 @@
6666
<li class="drawermainmenu-project" data-wodoc-page="ocsipersist"><a href="/ocsipersist/">Ocsipersist</a></li>
6767
<li class="drawermainmenu-project" data-wodoc-page="reactiveData"><a href="/reactiveData/">ReactiveData</a></li>
6868
<li class="drawermainmenu-project" data-wodoc-page="ocsigen-i18n"><a href="/ocsigen-i18n/">i18n</a></li>
69-
<li class="drawermainmenu-project" data-wodoc-page="html_of_wiki"><a href="/html_of_wiki/">html_of_wiki</a></li>
7069
<li class="drawermainmenu-project current" data-wodoc-page="wodoc"><a href="/wodoc/">Wodoc</a></li>
71-
<li class="drawermainmenu-project" data-wodoc-page="ocsimore"><a href="/ocsimore/">Ocsimore (<em>deprecated</em>)</a></li>
7270
<li class="drawermainmenu-page" data-wodoc-page="projects"><a href="/projects">Other projects</a></li>
7371
<li class="drawermainmenu-page" data-wodoc-page="papers"><a href="/papers">Research papers</a></li>
7472
<li class="drawermainmenu-page" data-wodoc-page="credits"><a href="/credits">Who does Ocsigen?</a></li>

dev/wodoc/Wodoc/Config/index.html

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -66,9 +66,7 @@
6666
<li class="drawermainmenu-project" data-wodoc-page="ocsipersist"><a href="/ocsipersist/">Ocsipersist</a></li>
6767
<li class="drawermainmenu-project" data-wodoc-page="reactiveData"><a href="/reactiveData/">ReactiveData</a></li>
6868
<li class="drawermainmenu-project" data-wodoc-page="ocsigen-i18n"><a href="/ocsigen-i18n/">i18n</a></li>
69-
<li class="drawermainmenu-project" data-wodoc-page="html_of_wiki"><a href="/html_of_wiki/">html_of_wiki</a></li>
7069
<li class="drawermainmenu-project current" data-wodoc-page="wodoc"><a href="/wodoc/">Wodoc</a></li>
71-
<li class="drawermainmenu-project" data-wodoc-page="ocsimore"><a href="/ocsimore/">Ocsimore (<em>deprecated</em>)</a></li>
7270
<li class="drawermainmenu-page" data-wodoc-page="projects"><a href="/projects">Other projects</a></li>
7371
<li class="drawermainmenu-page" data-wodoc-page="papers"><a href="/papers">Research papers</a></li>
7472
<li class="drawermainmenu-page" data-wodoc-page="credits"><a href="/credits">Who does Ocsigen?</a></li>

dev/wodoc/Wodoc/Convert/index.html

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -66,9 +66,7 @@
6666
<li class="drawermainmenu-project" data-wodoc-page="ocsipersist"><a href="/ocsipersist/">Ocsipersist</a></li>
6767
<li class="drawermainmenu-project" data-wodoc-page="reactiveData"><a href="/reactiveData/">ReactiveData</a></li>
6868
<li class="drawermainmenu-project" data-wodoc-page="ocsigen-i18n"><a href="/ocsigen-i18n/">i18n</a></li>
69-
<li class="drawermainmenu-project" data-wodoc-page="html_of_wiki"><a href="/html_of_wiki/">html_of_wiki</a></li>
7069
<li class="drawermainmenu-project current" data-wodoc-page="wodoc"><a href="/wodoc/">Wodoc</a></li>
71-
<li class="drawermainmenu-project" data-wodoc-page="ocsimore"><a href="/ocsimore/">Ocsimore (<em>deprecated</em>)</a></li>
7270
<li class="drawermainmenu-page" data-wodoc-page="projects"><a href="/projects">Other projects</a></li>
7371
<li class="drawermainmenu-page" data-wodoc-page="papers"><a href="/papers">Research papers</a></li>
7472
<li class="drawermainmenu-page" data-wodoc-page="credits"><a href="/credits">Who does Ocsigen?</a></li>

dev/wodoc/Wodoc/Nav/index.html

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -66,9 +66,7 @@
6666
<li class="drawermainmenu-project" data-wodoc-page="ocsipersist"><a href="/ocsipersist/">Ocsipersist</a></li>
6767
<li class="drawermainmenu-project" data-wodoc-page="reactiveData"><a href="/reactiveData/">ReactiveData</a></li>
6868
<li class="drawermainmenu-project" data-wodoc-page="ocsigen-i18n"><a href="/ocsigen-i18n/">i18n</a></li>
69-
<li class="drawermainmenu-project" data-wodoc-page="html_of_wiki"><a href="/html_of_wiki/">html_of_wiki</a></li>
7069
<li class="drawermainmenu-project current" data-wodoc-page="wodoc"><a href="/wodoc/">Wodoc</a></li>
71-
<li class="drawermainmenu-project" data-wodoc-page="ocsimore"><a href="/ocsimore/">Ocsimore (<em>deprecated</em>)</a></li>
7270
<li class="drawermainmenu-page" data-wodoc-page="projects"><a href="/projects">Other projects</a></li>
7371
<li class="drawermainmenu-page" data-wodoc-page="papers"><a href="/papers">Research papers</a></li>
7472
<li class="drawermainmenu-page" data-wodoc-page="credits"><a href="/credits">Who does Ocsigen?</a></li>

dev/wodoc/Wodoc/Preprocess/index.html

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -66,9 +66,7 @@
6666
<li class="drawermainmenu-project" data-wodoc-page="ocsipersist"><a href="/ocsipersist/">Ocsipersist</a></li>
6767
<li class="drawermainmenu-project" data-wodoc-page="reactiveData"><a href="/reactiveData/">ReactiveData</a></li>
6868
<li class="drawermainmenu-project" data-wodoc-page="ocsigen-i18n"><a href="/ocsigen-i18n/">i18n</a></li>
69-
<li class="drawermainmenu-project" data-wodoc-page="html_of_wiki"><a href="/html_of_wiki/">html_of_wiki</a></li>
7069
<li class="drawermainmenu-project current" data-wodoc-page="wodoc"><a href="/wodoc/">Wodoc</a></li>
71-
<li class="drawermainmenu-project" data-wodoc-page="ocsimore"><a href="/ocsimore/">Ocsimore (<em>deprecated</em>)</a></li>
7270
<li class="drawermainmenu-page" data-wodoc-page="projects"><a href="/projects">Other projects</a></li>
7371
<li class="drawermainmenu-page" data-wodoc-page="papers"><a href="/papers">Research papers</a></li>
7472
<li class="drawermainmenu-page" data-wodoc-page="credits"><a href="/credits">Who does Ocsigen?</a></li>

dev/wodoc/Wodoc/Render/index.html

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -66,9 +66,7 @@
6666
<li class="drawermainmenu-project" data-wodoc-page="ocsipersist"><a href="/ocsipersist/">Ocsipersist</a></li>
6767
<li class="drawermainmenu-project" data-wodoc-page="reactiveData"><a href="/reactiveData/">ReactiveData</a></li>
6868
<li class="drawermainmenu-project" data-wodoc-page="ocsigen-i18n"><a href="/ocsigen-i18n/">i18n</a></li>
69-
<li class="drawermainmenu-project" data-wodoc-page="html_of_wiki"><a href="/html_of_wiki/">html_of_wiki</a></li>
7069
<li class="drawermainmenu-project current" data-wodoc-page="wodoc"><a href="/wodoc/">Wodoc</a></li>
71-
<li class="drawermainmenu-project" data-wodoc-page="ocsimore"><a href="/ocsimore/">Ocsimore (<em>deprecated</em>)</a></li>
7270
<li class="drawermainmenu-page" data-wodoc-page="projects"><a href="/projects">Other projects</a></li>
7371
<li class="drawermainmenu-page" data-wodoc-page="papers"><a href="/papers">Research papers</a></li>
7472
<li class="drawermainmenu-page" data-wodoc-page="credits"><a href="/credits">Who does Ocsigen?</a></li>

dev/wodoc/Wodoc/Resolve/index.html

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -66,9 +66,7 @@
6666
<li class="drawermainmenu-project" data-wodoc-page="ocsipersist"><a href="/ocsipersist/">Ocsipersist</a></li>
6767
<li class="drawermainmenu-project" data-wodoc-page="reactiveData"><a href="/reactiveData/">ReactiveData</a></li>
6868
<li class="drawermainmenu-project" data-wodoc-page="ocsigen-i18n"><a href="/ocsigen-i18n/">i18n</a></li>
69-
<li class="drawermainmenu-project" data-wodoc-page="html_of_wiki"><a href="/html_of_wiki/">html_of_wiki</a></li>
7069
<li class="drawermainmenu-project current" data-wodoc-page="wodoc"><a href="/wodoc/">Wodoc</a></li>
71-
<li class="drawermainmenu-project" data-wodoc-page="ocsimore"><a href="/ocsimore/">Ocsimore (<em>deprecated</em>)</a></li>
7270
<li class="drawermainmenu-page" data-wodoc-page="projects"><a href="/projects">Other projects</a></li>
7371
<li class="drawermainmenu-page" data-wodoc-page="papers"><a href="/papers">Research papers</a></li>
7472
<li class="drawermainmenu-page" data-wodoc-page="credits"><a href="/credits">Who does Ocsigen?</a></li>

dev/wodoc/Wodoc/Sexp/index.html

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -66,9 +66,7 @@
6666
<li class="drawermainmenu-project" data-wodoc-page="ocsipersist"><a href="/ocsipersist/">Ocsipersist</a></li>
6767
<li class="drawermainmenu-project" data-wodoc-page="reactiveData"><a href="/reactiveData/">ReactiveData</a></li>
6868
<li class="drawermainmenu-project" data-wodoc-page="ocsigen-i18n"><a href="/ocsigen-i18n/">i18n</a></li>
69-
<li class="drawermainmenu-project" data-wodoc-page="html_of_wiki"><a href="/html_of_wiki/">html_of_wiki</a></li>
7069
<li class="drawermainmenu-project current" data-wodoc-page="wodoc"><a href="/wodoc/">Wodoc</a></li>
71-
<li class="drawermainmenu-project" data-wodoc-page="ocsimore"><a href="/ocsimore/">Ocsimore (<em>deprecated</em>)</a></li>
7270
<li class="drawermainmenu-page" data-wodoc-page="projects"><a href="/projects">Other projects</a></li>
7371
<li class="drawermainmenu-page" data-wodoc-page="papers"><a href="/papers">Research papers</a></li>
7472
<li class="drawermainmenu-page" data-wodoc-page="credits"><a href="/credits">Who does Ocsigen?</a></li>

0 commit comments

Comments
 (0)