diff --git a/src/scripts/tools/platform.sh b/src/scripts/tools/platform.sh index 4348d40..f3814b0 100755 --- a/src/scripts/tools/platform.sh +++ b/src/scripts/tools/platform.sh @@ -1,6 +1,6 @@ #!/bin/sh #$Id$ -#Copyright (c) 2015-2019 Pierre Pronchery +#Copyright (c) 2015-2020 Pierre Pronchery # #Redistribution and use in source and binary forms, with or without #modification, are permitted provided that the following conditions are met: