hgtags shouldn't be checked in.

diff --git a/.hgtags b/.hgtags
deleted file mode 100644 (file)
index 25b7217..0000000
--- a/.hgtags
+++ /dev/null
@@ -1,18 +0,0 @@
-5a0daa6017c4aa5ae23b870e97eb7431021762bc distr2
-15b742c4c278c27029eca0e41f16463bc076de6e distr3
-a0686e2ca8d6780ce37b8267b865f60e9317a340 llgen-1-0
-d96cd06672c368e8aaa584fead379ce1d343acad oct-1
-bf69b3579e8545ecfc03f5e2550586e3c479270d release-6-0-pre-4
-e880082b57f12a7df1c33a2da2c7424d6368f185 dist2
-fe535e3e8bc859d4a4e4a186f42670f9e588a5aa release-5-6
-90102c21c4480102634c6a482d0dd55f2d9ca00f release-6-0-pre-3
-ddc0de0e5e7d91b1dcd7c05602c9c2a6adf8d312 release-6-0-pre-1
-0708542a3c391238beadc8e2cf9b25283161848b release-6-0-pre-5
-0000000000000000000000000000000000000000 release-6-0-pre-4
-42d4fcc3a87cb36f6829814cce9b39fcf2f34e00 release-6-0-pre-4
-0000000000000000000000000000000000000000 release-6-0-pre-3
-dd12ef08179d853fe6ec2fbcdfe8a0c5b1409c8d release-6-0-pre-3
-0000000000000000000000000000000000000000 release-6-0-pre-1
-3d69c08001d4749a327b636a5fdb472a5573c2a3 release-6-0-pre-1
-0000000000000000000000000000000000000000 release-5-6
-976d56ed63bda3752bc0db7e0b753cd193489f3b release-5-6