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