Tools__CodeHighlightingService.st
branchjv
changeset 18226 346376844040
parent 17214 c192b970f250
child 18532 cccb41254edf
--- a/Tools__CodeHighlightingService.st	Fri May 25 11:05:26 2018 +0100
+++ b/Tools__CodeHighlightingService.st	Mon Jun 11 10:22:17 2018 +0100
@@ -2,6 +2,7 @@
 
 "
  COPYRIGHT (c) 2010 by Jan Vrany, SWING Research Group. CTU in Prague
+ COPYRIGHT (c) 2016 Jan Vrany
               All Rights Reserved
 
 Permission is hereby granted, free of charge, to any person
@@ -41,6 +42,7 @@
 copyright
 "
  COPYRIGHT (c) 2010 by Jan Vrany, SWING Research Group. CTU in Prague
+ COPYRIGHT (c) 2016 Jan Vrany
               All Rights Reserved
 
 Permission is hereby granted, free of charge, to any person