Commit a357f7d

committed

Remove doc in coqdomain and point to README.rst

1 parent 17e4fb9 commit a357f7dCopy full SHA for a357f7d

1 file changed

+43

-269

lines changed

doc/tools/coqrst
- coqdomain.py

1 file changed

+43

-269

lines changed

Comments

(0)