diff options
| author | coqbot-app[bot] | 2020-11-03 23:48:26 +0000 |
|---|---|---|
| committer | GitHub | 2020-11-03 23:48:26 +0000 |
| commit | 5a25287987b8683ee3cbaa9a87ba0f8aebba896b (patch) | |
| tree | dce1ab90cc6785e29848e43deaea6c24b4138866 /doc/common/styles/html/coqremote/modules/node/node.css | |
| parent | 077d479113c6a53543d53514470be3570c89cc8d (diff) | |
| parent | 87be983b7623126320dc0b43303a48ea41b86f5c (diff) | |
Merge PR #13293: Doc: added "Arguments" removing implicit arguments
Reviewed-by: jfehrle
Reviewed-by: Zimmi48
Diffstat (limited to 'doc/common/styles/html/coqremote/modules/node/node.css')
0 files changed, 0 insertions, 0 deletions