Mercurial > hg > Members > kono > Proof > category

changeset 985:74728d51177b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Added tag Topos for changeset 949f83b3a8f0
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Wed, 03 Mar 2021 16:30:40 +0900
parents 949f83b3a8f0
children e2e11014b0f8
files .hgtags
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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