Permalink
Browse files

Update copyright date to extend to 2012.

  • Loading branch information...
1 parent 4d180e8 commit 53f45a3bb997aec953e11672ffec48881517be8c @mn200 mn200 committed Apr 16, 2012
Showing with 1 addition and 1 deletion.
  1. +1 −1 COPYRIGHT
View
@@ -1,7 +1,7 @@
HOL COPYRIGHT NOTICE, LICENSE AND DISCLAIMER.
Copyright 1998, 1999 by Konrad Slind.
-Copyright 2000--2011 by Michael Norrish and Konrad Slind.
+Copyright 2000--2012 by Michael Norrish and Konrad Slind.
All rights reserved.

0 comments on commit 53f45a3

Please sign in to comment.