From 8bb035e554b23c32b1307c49237bd040367c1be8 Mon Sep 17 00:00:00 2001 From: paolobettelini Date: Fri, 16 Aug 2024 22:31:09 +0000 Subject: [PATCH] deploy: e5d2041a86b9d83700a9f8ae5ad0645d599fe568 --- 404.html | 2 +- common_snippets.html | 2 +- example.html | 6 +- example_script.html | 2 +- format_commands.html | 2 +- index.html | 2 +- latex_package.html | 2 +- misc_fish.html | 2 +- misc_todo.html | 2 +- notes_compiler.html | 2 +- notes_installation.html | 2 +- notes_structure.html | 2 +- pdf_stellar_format.html | 2 +- print.html | 34 ++++- searchindex.js | 2 +- searchindex.json | 2 +- snippet_build_scripts.html | 2 +- stellar_cli.html | 6 +- stellar_courses.html | 2 +- stellar_installation.html | 2 +- stellar_introduction.html | 2 +- stellar_pages.html | 2 +- stellar_snippets.html | 2 +- stellar_universes.html | 2 +- usage.html | 2 +- vscode.html | 259 +++++++++++++++++++++++++++++++++++++ welcome.html | 2 +- 27 files changed, 321 insertions(+), 30 deletions(-) create mode 100644 vscode.html diff --git a/404.html b/404.html index 4c72dec..f04f471 100644 --- a/404.html +++ b/404.html @@ -89,7 +89,7 @@