Doc: rename coqtop:: -> rocqtop::, coqdoc:: -> rocqdoc::
#6076
| Job | Run time |
|---|---|
| 2s | |
| 2s |
coqtop:: -> rocqtop::, coqdoc:: -> rocqdoc::
#6076
| Job | Run time |
|---|---|
| 2s | |
| 2s |