## This is a generated file, do not edit directly. Edit INPUT_FILENAME instead.
##
#include "license.docker"