# This is the configuration file for the https://circleci.com/ continuous integration server
#
# Copyright (c) 2017-2019. The SimGrid team. All rights reserved.
-#
+#
# This program is free software; you can redistribute it and/or modify it
# under the terms of the license (GNU LGPL) which comes with this package.