Skip to content

Commit 082880f

Browse files
liyishuailiyishuai
committed
restructure: coqdoc back to gh-pages
1 parent 1ced8f6 commit 082880f

File tree

366 files changed

+2
-65239
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

366 files changed

+2
-65239
lines changed

‎.gitmodules‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,3 @@
11
[submodule "coqdocjs"]
2-
path = docs/coqdocjs
2+
path = coqdocjs
33
url = https://github.com/coq-community/coqdocjs.git

‎coqdocjs‎

Lines changed: 0 additions & 1 deletion
This file was deleted.

‎coqdocjs‎

Submodule coqdocjs added at 556b3ab

‎docs/coqdocjs‎

Lines changed: 0 additions & 1 deletion
This file was deleted.

‎docs/index.html‎

Lines changed: 0 additions & 56 deletions
This file was deleted.

‎docs/v0.10.3/ExtLib.Core.Any.html‎

Lines changed: 0 additions & 62 deletions
This file was deleted.

0 commit comments

Comments
 (0)