# HG changeset patch
# User convert-repo
# Date 1226090212 0
# Node ID f864bb4ba9a4a6b5af7bdfd3cae0910f3751510f
# Parent  92791d7fbf21d49d0c15584944d7dd9208d680ec
update tags

diff -r 92791d7fbf21 -r f864bb4ba9a4 .hgtags
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.hgtags	Fri Nov 07 20:36:52 2008 +0000
@@ -0,0 +1,2 @@
+09586da5afa8d616e296d8a126d181e69de0e4bd r1
+61743469ee5641bf161dbb95f094b207201cdaca sicstus4