diff options
Diffstat (limited to 'genindex.html')
-rw-r--r-- | genindex.html | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/genindex.html b/genindex.html index 1c15446..bc70385 100644 --- a/genindex.html +++ b/genindex.html | |||
@@ -9,6 +9,7 @@ | |||
9 | <link rel="stylesheet" href="_static/alagitpull.css" type="text/css" /> | 9 | <link rel="stylesheet" href="_static/alagitpull.css" type="text/css" /> |
10 | <link rel="stylesheet" href="_static/pygments.css" type="text/css" /> | 10 | <link rel="stylesheet" href="_static/pygments.css" type="text/css" /> |
11 | <link rel="stylesheet" href="_static/flexboxgrid.min.css" type="text/css" /> | 11 | <link rel="stylesheet" href="_static/flexboxgrid.min.css" type="text/css" /> |
12 | <link rel="stylesheet" href="_static/git-pull.css" type="text/css" /> | ||
12 | <script type="text/javascript"> | 13 | <script type="text/javascript"> |
13 | var DOCUMENTATION_OPTIONS = { | 14 | var DOCUMENTATION_OPTIONS = { |
14 | URL_ROOT: './', | 15 | URL_ROOT: './', |