diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-05-17 16:02:19 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-05-17 16:02:19 -0400 |
| commit | 471a36cab64b287b12fbb2903a44e3f24b3e76ab (patch) | |
| tree | bb20c3e5fda934541f20f859a38e3144cea9edb7 /missing | |
| parent | 6a33cc1f9ad066fbde03c89c43c913082bdbcc50 (diff) | |
Renumber version in CHANGELOG, since I wasn't ready to release as soon as I expected
Diffstat (limited to 'missing')
0 files changed, 0 insertions, 0 deletions