From dc2ccdf235376a30226fc90af9b690dafb9fdffc Mon Sep 17 00:00:00 2001 From: emptymalei Date: Tue, 7 Jan 2025 19:11:17 +0000 Subject: [PATCH] deploy: 817343150a92a285e384953f70d9b2b662b54a83 --- projects/esl/index.html | 10 +++++----- projects/snm/index.html | 10 +++++----- projects/tutorials/index.html | 24 ++++++++++++------------ 3 files changed, 22 insertions(+), 22 deletions(-) diff --git a/projects/esl/index.html b/projects/esl/index.html index df62103..c739b76 100644 --- a/projects/esl/index.html +++ b/projects/esl/index.html @@ -177,6 +177,11 @@

About typesetting

diff --git a/projects/snm/index.html b/projects/snm/index.html index 5d55ab1..1d3e933 100644 --- a/projects/snm/index.html +++ b/projects/snm/index.html @@ -150,6 +150,11 @@

More

diff --git a/projects/tutorials/index.html b/projects/tutorials/index.html index a77366e..ef7f289 100644 --- a/projects/tutorials/index.html +++ b/projects/tutorials/index.html @@ -187,68 +187,68 @@
  • +Tutorials
  • -Tutorials