# HG changeset patch
# User Shinji KONO <kono@ie.u-ryukyu.ac.jp>
# Date 1614756640 -32400
# Node ID 74728d51177bb5d02f3552f6e7d6e51ae1aa964e
# Parent  949f83b3a8f04d6af4f613662e6563607c07fcb7
Added tag Topos for changeset 949f83b3a8f0

diff -r 949f83b3a8f0 -r 74728d51177b .hgtags
--- a/.hgtags	Wed Mar 03 16:26:00 2021 +0900
+++ b/.hgtags	Wed Mar 03 16:30:40 2021 +0900
@@ -15,3 +15,4 @@
 635418b4b2f3f3424ef51699c1e01a1b2900320f current
 635418b4b2f3f3424ef51699c1e01a1b2900320f current
 bd32a37784b0244b938be1efff3c0dc92ee5480a current
+949f83b3a8f04d6af4f613662e6563607c07fcb7 Topos