diff --git a/src/core/CCString.mli b/src/core/CCString.mli index 4e6f7901..773eba89 100644 --- a/src/core/CCString.mli +++ b/src/core/CCString.mli @@ -1,5 +1,3 @@ -(* AUTOGENERATED FROM CCStringLabels.mli *) - (* This file is free software, part of containers. See file "license" for more details. *)