summaryrefslogtreecommitdiff
path: root/changelog
diff options
context:
space:
mode:
authorMatthew Johnson <mjj29@hecate.trinhall.cam.ac.uk>2006-11-21 14:49:05 +0000
committerMatthew Johnson <mjj29@hecate.trinhall.cam.ac.uk>2006-11-21 14:49:05 +0000
commit965739d7b3f372c46c29201f9365132521256dd0 (patch)
tree88d302e0f7de47fc2a9f31c8953cdc0eb7a03641 /changelog
parenta1cb02d85549c736b482efbe9706623e353915e3 (diff)
up to dev version number
Diffstat (limited to 'changelog')
-rw-r--r--changelog2
1 files changed, 2 insertions, 0 deletions
diff --git a/changelog b/changelog
index f220c90..78de3ca 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,5 @@
+Version 1.13:
+
Version 1.12:
* fix internal-cross-test bugs and increase error verbosity