From 9154edaee1220b79179be1159bdc518803d29335 Mon Sep 17 00:00:00 2001
From: Martin Dosch <spam@mdosch.de>
Date: Tue, 19 May 2020 01:05:22 +0200
Subject: [PATCH] Add dino logo again

The dino logo for the startmenu was accidentally
no longer included since the last commit.
---
 windows-installer/dino.nsi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/windows-installer/dino.nsi b/windows-installer/dino.nsi
index f8ab5095..2720057e 100644
--- a/windows-installer/dino.nsi
+++ b/windows-installer/dino.nsi
@@ -30,7 +30,7 @@ File input/*.dll input/dino.exe
 
 # Install the libs and shared files 
 SetOutPath $INSTDIR
-File /r input/lib input/share input/LICENSE
+File /r input/lib input/share input/LICENSE input/logo.ico
 
 # Install the plugins
 SetOutPath $INSTDIR\lib\dino\plugins