Skip to content

C
cpdt
Commit 02d6bbe4 authored by Adam Chlipala's avatar Adam Chlipala
Browse files
Options

Forgot to increment two timestamps

parent 06a0ca10
Show whitespace changes
Inline Side-by-side
Showing with 2 additions and 2 deletions
src/Intro.v
View file @ 02d6bbe4
(* Copyright (c) 2008-2010, Adam Chlipala (* Copyright (c) 2008-2011, Adam Chlipala
* *
* This work is licensed under a * This work is licensed under a
* Creative Commons Attribution-Noncommercial-No Derivative Works 3.0 * Creative Commons Attribution-Noncommercial-No Derivative Works 3.0
...@@ -21,7 +21,7 @@ ...@@ -21,7 +21,7 @@
(** (**
Copyright Adam Chlipala 2008-2010. Copyright Adam Chlipala 2008-2011.
This work is licensed under a This work is licensed under a
Creative Commons Attribution-Noncommercial-No Derivative Works 3.0 Creative Commons Attribution-Noncommercial-No Derivative Works 3.0
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment