Skip to content

Commit 0055e73

Browse files
committed
Remove auto-generated docs
1 parent e26c851 commit 0055e73

File tree

207 files changed

+0
-1321
lines changed

Some content is hidden

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

207 files changed

+0
-1321
lines changed

docs/Bindings/.dune-keep

Whitespace-only changes.

docs/Bindings/Arg_info/index.html

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

docs/Bindings/Base_info/index.html

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

docs/Bindings/Field_info/index.html

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

docs/Bindings/Function_info/index.html

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

0 commit comments

Comments
 (0)