adding a tag for release 2012-11-03
authorStefan Kästle <stefan.kaestle@inf.ethz.ch>
Sat, 3 Nov 2012 09:49:21 +0000 (10:49 +0100)
committerStefan Kästle <stefan.kaestle@inf.ethz.ch>
Sat, 3 Nov 2012 09:49:21 +0000 (10:49 +0100)
commitd4d513a5e26631e1ff18956495006f7c0e22cd5e
tree2b6d84d2c65dd900c16d12d17dc987b246ce8f97
parentb6a46199c43ec86144aa1757dcbaa0801aada2e5
adding a tag for release 2012-11-03
.hgtags