diff options
| author | Damien George <damien.p.george@gmail.com> | 2018-09-27 17:36:04 +1000 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2018-10-01 13:54:32 +1000 |
| commit | d1adfee2510d1e9fda8141e00ca0d96d88da9605 (patch) | |
| tree | f5ed4bc46688432bd3daeb869613a1ab10ad38fb /docs/sphinx_selective_exclude/__init__.py | |
| parent | b3e013f60ec0feb5b64bcadb45b154d093731c97 (diff) | |
| download | micropython-d1adfee2510d1e9fda8141e00ca0d96d88da9605.tar.gz micropython-d1adfee2510d1e9fda8141e00ca0d96d88da9605.zip | |
docs: Remove sphinx_selective_exclude, it's no longer used.
Diffstat (limited to 'docs/sphinx_selective_exclude/__init__.py')
| -rw-r--r-- | docs/sphinx_selective_exclude/__init__.py | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/docs/sphinx_selective_exclude/__init__.py b/docs/sphinx_selective_exclude/__init__.py deleted file mode 100644 index e69de29bb2..0000000000 --- a/docs/sphinx_selective_exclude/__init__.py +++ /dev/null |