Index of /docs/dirhtml/_static/

../
fonts/                                             13-Mar-2022 14:43                   -
images/                                            13-Mar-2022 14:43                   -
javascripts/                                       13-Mar-2022 14:43                   -
stylesheets/                                       13-Mar-2022 14:43                   -
basic.css                                          22-Aug-2022 13:36               13632
doctools.js                                        22-Aug-2022 13:36                9354
documentation_options.js                           22-Aug-2022 13:36                 353
file.png                                           22-Aug-2022 13:36                 286
jquery-3.5.1.js                                    22-Aug-2022 13:36              287630
jquery.js                                          22-Aug-2022 13:36               89501
jquery.min.map                                     22-Aug-2022 13:36              137972
language_data.js                                   22-Aug-2022 13:36               10847
material.css                                       22-Aug-2022 13:36                 672
minus.png                                          22-Aug-2022 13:36                  90
plus.png                                           22-Aug-2022 13:36                  90
pygments.css                                       22-Aug-2022 13:36                4367
searchtools.js                                     22-Aug-2022 13:36               16323
underscore-1.3.1.js                                22-Aug-2022 13:36               35168
underscore.js                                      22-Aug-2022 13:36               12140