Merge branch 'main' of https://github.com/LM095/Planning-Lab into main

lmarza · Sep 24, 2022 · d7677f2 · d7677f2
2 parents 87bc556 + f6b19aa
commit d7677f2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -1,6 +1,6 @@
 # 🤖Planning-Lab🤖
 
-Code for the Planning lab of Planning and Automated Reasoning course of the MSc in Artificial Intelligence 2022/2023 of the University of Verona
+Code for the Planning lab of *Planning and Automated Reasoning* course, MSc in Artificial Intelligence 2022/2023 of the University of Verona
 
 ## Setup