diff options
Diffstat (limited to 'Build/source/utils/xml2pmx/xml2pmx-src/obsrc/Strings1.m')
-rw-r--r-- | Build/source/utils/xml2pmx/xml2pmx-src/obsrc/Strings1.m | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/Build/source/utils/xml2pmx/xml2pmx-src/obsrc/Strings1.m b/Build/source/utils/xml2pmx/xml2pmx-src/obsrc/Strings1.m index 72fe8401524..42da388c552 100644 --- a/Build/source/utils/xml2pmx/xml2pmx-src/obsrc/Strings1.m +++ b/Build/source/utils/xml2pmx/xml2pmx-src/obsrc/Strings1.m @@ -1,5 +1,22 @@ MODULE Strings1; (** portable *) (* ejz, *) +(***************************************************************************) +(**************** Copyright 2015--2021 Dieter Gloetzel ********************) +(************************ Version016 multi platform ***********************) +(***************************************************************************) +(* This program is free software: you can redistribute it and/or modify + it under the terms of the GNU General Public License as published by + the Free Software Foundation, either version 3 of the License, or + (at your option) any later version. + + This program is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. + + You should have received a copy of the GNU General Public License + along with this program. If not, see <http://www.gnu.org/licenses/>. *) + TYPE LONGINT = INTEGER; (** Strings is a utility module that provides procedures to manipulate strings. |