# HG changeset patch # User Adam Chlipala # Date 1292340952 18000 # Node ID 43677a8a20e9f66e35c1ab02629f597132d80bfb # Parent 8c1996489265df314cf27c9e97e8dd2274e548fd Bump year on LICENSE diff -r 8c1996489265 -r 43677a8a20e9 LICENSE --- a/LICENSE Tue Dec 14 10:21:51 2010 -0500 +++ b/LICENSE Tue Dec 14 10:35:52 2010 -0500 @@ -1,4 +1,4 @@ -Copyright (c) 2008-2009, Adam Chlipala +Copyright (c) 2008-2010, Adam Chlipala All rights reserved. Redistribution and use in source and binary forms, with or without