resolved some missing license info and sorting in the maintenance script is now case-insensitive

2019-08-13 13:35:45 +02:00
parent 9fa6e20824
commit 31cef5ed8e
30 changed files with 918 additions and 912 deletions
--- a/games/dark_destiny.md
+++ b/games/dark_destiny.md
@@ -12,5 +12,7 @@ _Turn-based online space strategy game playable in internet browsers._

 See also https://sourceforge.net/projects/darkdestinytools/

+Private communication with the authors in September 2018 brought the following license information: "artwork and the code can be freely used for modifcation and sharing".
+
 ## Building