ParseNode.st
branchjv
changeset 4275 e06f4b087e47
parent 4259 c707f9aa7015
child 4315 734f7d2b6efe
child 4384 aee25576d864
--- a/ParseNode.st	Tue May 01 11:38:33 2018 +0200
+++ b/ParseNode.st	Tue May 29 22:27:59 2018 +0100
@@ -2,6 +2,8 @@
 
 "
  COPYRIGHT (c) 1989 by Claus Gittinger
+ COPYRIGHT (c) 2015 Jan Vrany
+ COPYRIGHT (c) 2018 Claus Gittinger
 	      All Rights Reserved
 
  This software is furnished under a license and may be used
@@ -28,6 +30,8 @@
 copyright
 "
  COPYRIGHT (c) 1989 by Claus Gittinger
+ COPYRIGHT (c) 2015 Jan Vrany
+ COPYRIGHT (c) 2018 Claus Gittinger
 	      All Rights Reserved
 
  This software is furnished under a license and may be used