diff options
| author | siddharth <s@ricketyspace.net> | 2021-10-31 16:26:35 -0400 |
|---|---|---|
| committer | siddharth <s@ricketyspace.net> | 2021-10-31 16:26:35 -0400 |
| commit | 971761d82115d023c4d1a9870deab6a269d18495 (patch) | |
| tree | 1dcde4efa564808ff536493b0aa6bb7d35b1a238 /.gitignore | |
| parent | 89eb206421b0887453c2c2db92a1cd80ce75e12d (diff) | |
Revert "docs/conf.py: remove intersphinx_mapping"
This reverts commit 57f2504cfc7d89c519b35952400e3b09309674b7.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions