diff --git a/doc/extra-intersphinx.txt b/doc/extra-intersphinx.txt new file mode 100644 index 0000000000000000000000000000000000000000..75d6609738c5cd11957de705cf232b5b2edea3dd --- /dev/null +++ b/doc/extra-intersphinx.txt @@ -0,0 +1 @@ +bob.db.base