diff --git a/.header b/.header index 10879a41..75987aff 100644 --- a/.header +++ b/.header @@ -1 +1 @@ -(* This file is free softwarem part of containers. See file "license" for more details. *) +(* This file is free software, part of containers. See file "license" for more details. *)