attempt to be able to convert to pdf

2023-08-14 11:07:13 +02:00
parent 3e81c7036f
commit 9bfc1ef7fe
11 changed files with 199 additions and 69 deletions
--- a/History.md
+++ b/History.md
@@ -1,3 +1,8 @@
+2.8.0
+=======
+
+Improvement of included notes #331
+
 2.7.3
 =======
 2023-06-16