From e7a280f154386f309006f3d670b2c25d5f0c0e7e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Aur=C3=A9lien=20Buchet?= Date: Tue, 23 Sep 2025 12:23:47 +0200 Subject: [PATCH 1/2] add .gitattributes --- .gitattributes | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 .gitattributes diff --git a/.gitattributes b/.gitattributes new file mode 100644 index 0000000..1c0c766 --- /dev/null +++ b/.gitattributes @@ -0,0 +1,4 @@ +*.scm linguist-language=Scheme +*.ils linguist-language=SKILL++ +*.il linguist-language=SKILL +*.py linguist-language=Python From 3533234280128cb4dfbae6840cef25db95c85e3e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Aur=C3=A9lien=20Buchet?= Date: Tue, 23 Sep 2025 12:30:34 +0200 Subject: [PATCH 2/2] Fix logo appearing badly on some browsers --- README.md | 19 ++++++++++++++++--- 1 file changed, 16 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index 734bb68..320cff1 100644 --- a/README.md +++ b/README.md @@ -1,3 +1,19 @@ +
+ ________  ___  __    ___  ___       ___           ___    ___           
+|\   ____\|\  \|\  \ |\  \|\  \     |\  \         |\  \  |\  \          
+\ \  \___|\ \  \/  /|\ \  \ \  \    \ \  \      __\_\  \_\_\  \_____    
+ \ \_____  \ \   ___  \ \  \ \  \    \ \  \    |\____    ___    ____\   
+  \|____|\  \ \  \\ \  \ \  \ \  \____\ \  \___\|___| \  \__|\  \___|   
+    ____\_\  \ \__\\ \__\ \__\ \_______\ \_______\ __\_\  \_\_\  \_____ 
+   |\_________\|__| \|__|\|__|\|_______|\|_______||\____    ____   ____\
+   \|_________|                                   \|___| \  \__|\  \___|
+                                                        \ \__\ \ \__\   
+                                                         \|__|  \|__|   
+
+ # SKILL#