From 690305102c74f6be07f657397e305e01927c0291 Mon Sep 17 00:00:00 2001 From: Florian Pommerening Date: Mon, 18 Nov 2024 17:42:40 +0100 Subject: [PATCH] fix typo, add authors to md file --- LICENSE.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/LICENSE.md b/LICENSE.md index a47026e..8aacfce 100644 --- a/LICENSE.md +++ b/LICENSE.md @@ -1,13 +1,13 @@ # Domain Licenses The domains in this collection were written by different authors and are under -different licenses. Most domains were never fomally released under a license. In +different licenses. Most domains were never formally released under a license. In this file, we start to collect licenses for all of the domains. # Public Domain -* termes-opt18-strips -* termes-sat18-strips +* termes-opt18-strips, termes-sat18-strips + written by Florian Pommerening # Unknown License