Skip to content

Commit fee7705

Browse files
linsykinglinsyking
committed
docs: remove out-dated docs
1 parent 7838f83 commit fee7705

File tree

7 files changed

+0
-367
lines changed

7 files changed

+0
-367
lines changed

‎docs/CG.md‎

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

‎docs/Common.md‎

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

‎docs/Config.md‎

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

‎docs/Lift.md‎

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

‎docs/Type.md‎

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

‎docs/Userspace.md‎

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

‎docs/Verifier.md‎

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

0 commit comments

Comments
 (0)