Skip to content

Commit b706b55

Browse files
radumereutaradumereuta
committed
Fixing copyrights.
Former-commit-id: 67b6e4ac91554b469dcd097cc74e1b76ff3f0c43 [formerly c3b41eae4ee901db17f1ae7c157f70a740078be4] Former-commit-id: 329b8f33103589c16c0d0b6defb809d6a380d96c
1 parent 34380cd commit b706b55

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

  • kernel/src/main/resources/org/kframework/ktest/Config

‎kernel/src/main/resources/org/kframework/ktest/Config/ktest.xsd‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
<?xml version="1.0" encoding="ISO-8859-1" ?>
2-
<!-- Copyright (c) 2013-2014 K Team. All Rights Reserved. -->
2+
<!-- Copyright (c) 2013-2015 K Team. All Rights Reserved. -->
33
<xs:schema xmlns:xs="http://www.w3.org/2001/XMLSchema">
44
<xs:complexType name="program-config">
55
<xs:sequence>

0 commit comments

Comments
 (0)