# HG changeset patch # User Thomas Wuerthinger # Date 1339162936 -7200 # Node ID 13321732f85c0155134e456220314664575c452a # Parent bbb1c970cc150e25550b2f60ef9e6b0b01535ecd Only check .java files for correct header. diff -r bbb1c970cc15 -r 13321732f85c graal/com.oracle.graal.graph/.checkstyle_checks.xml --- a/graal/com.oracle.graal.graph/.checkstyle_checks.xml Fri Jun 08 12:22:01 2012 +0200 +++ b/graal/com.oracle.graal.graph/.checkstyle_checks.xml Fri Jun 08 15:42:16 2012 +0200 @@ -132,6 +132,7 @@ +