diff options
| author | Artturi <Artturin@artturin.com> | 2023-09-16 06:36:31 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-09-16 06:36:31 +0300 |
| commit | eac4faced1588170b1e709acb6e9ab1fa11dae24 (patch) | |
| tree | d8fb69bc7de90bfe650162d90181cf29b5597a8f /pkgs/development/python-modules/rangehttpserver | |
| parent | 512573a462de064794932bdc36f9d40b57158d4d (diff) | |
| parent | cf3d29d63f7a0b372f0bc7ae460884e999ba9c35 (diff) | |
Merge pull request #254287 from Artturin/sagedocfix1
sage: If docs are not enabled then don't include a doc attribute
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions