#!/usr/bin/env bash
# Copyright (c) 2015, David Martin. All rights reserved.
-# Copyright (c) 2017, The SimGrid team. All rights reserved.
+# Copyright (c) 2017-2019. The SimGrid team. All rights reserved.
#
# Redistribution and use in source and binary forms, with or without
# modification, are permitted provided that the following conditions are met: