infra: add more to DefaultTiddlers so that one can try jumper at once

YakovL · Jul 25, 2023 · fbe07fe · fbe07fe
1 parent 807835e
commit fbe07fe
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/index.html b/index.html
@@ -548,7 +548,9 @@
 <!--POST-SHADOWAREA-->
 <div id="storeArea">
 <div title="DefaultTiddlers" creator="Yakov Litvin" modifier="Yakov Litvin" created="201310251502" modified="202307230852" changecount="4">
-<pre>JumpKeysPlugin</pre>
+<pre>JumpKeysPlugin
+ExtensionsExplorerPlugin
+TiddlerInFilePlugin</pre>
 </div>
 <div title="ExtensionsExplorerPlugin" creator="Yakov Litvin" modifier="Yakov Litvin" created="202307230505" modified="202307230629" tags="systemConfig systemConfigDisable" changecount="2">
 <pre>/***