Mercurial > cpdt > repo
changeset 379:e23d41ae63be
Date increment
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Thu, 29 Mar 2012 17:15:14 -0400 |
parents | 6413675f8e04 |
children | 31fa03bc0f18 |
files | src/Reflection.v |
diffstat | 1 files changed, 1 insertions(+), 1 deletions(-) [+] |
line wrap: on
line diff
--- a/src/Reflection.v Thu Mar 29 17:13:23 2012 -0400 +++ b/src/Reflection.v Thu Mar 29 17:15:14 2012 -0400 @@ -1,4 +1,4 @@ -(* Copyright (c) 2008-2011, Adam Chlipala +(* Copyright (c) 2008-2012, Adam Chlipala * * This work is licensed under a * Creative Commons Attribution-Noncommercial-No Derivative Works 3.0