diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-11-18 13:28:44 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-11-18 13:28:44 -0500 |
| commit | 398bf05eb87aa7e4a5ece16c938719325eb304d8 (patch) | |
| tree | ed08785067bbdb7764548b0251718301132dd9be | |
| parent | 68efe8d483e8d1e9f138c1388f737aa0ab68ace8 (diff) | |
Tag CHANGELOG with release number
| -rw-r--r-- | CHANGELOG | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,5 +1,5 @@ ======== -NEXT +20081118 ======== - Nested function definitions |