From bffcefadc3a7c7d0219d22347f66c7363ab3922f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=C3=89der=20F=2E=20Zulian?= Date: Thu, 7 Dec 2017 18:04:34 +0100 Subject: [PATCH] Header fixed --- install.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/install.sh b/install.sh index 1b96c491..fbc9ab47 100755 --- a/install.sh +++ b/install.sh @@ -1,5 +1,6 @@ #!/usr/bin/env bash -# Copyright (c) 2017, Shama Bhosale + +# Copyright (c) 2017, University of Kaiserslautern # All rights reserved. # # Redistribution and use in source and binary forms, with or without