From de9ddafb11df2950bf4941762e3e42eb04319a38 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 16 Jan 2011 12:06:38 -0500 Subject: Updating documentation in preparation for a release --- LICENSE | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'LICENSE') diff --git a/LICENSE b/LICENSE index a59eb36e..78f1e4b8 100644 --- a/LICENSE +++ b/LICENSE @@ -1,4 +1,4 @@ -Copyright (c) 2008-2010, Adam Chlipala +Copyright (c) 2008-2011, Adam Chlipala All rights reserved. Redistribution and use in source and binary forms, with or without -- cgit v1.2.3