--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/PyrightChecker/Documentation/Source/index.html	Tue Nov 07 15:17:48 2023 +0100
@@ -0,0 +1,20 @@
+<!DOCTYPE html>
+<html><head>
+<title>Table of contents</title>
+<meta charset="UTF-8">
+<link rel="stylesheet" href="styles.css">
+</head>
+<body>
+<h1>Table of contents</h1>
+
+
+<h3>Packages</h3>
+<table>
+
+<tr>
+<td><a href="index-Plugin_Checker_Pyright.html">Plugin_Checker_Pyright</a></td>
+<td>Package implementing the pyright plug-in.</td>
+</tr>
+</table>
+
+</body></html>
\ No newline at end of file