changeset 937:df8d197cc560

Added tag current for changeset 55ae765ffcdd
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 01 Feb 2021 19:00:19 +0900
parents 55ae765ffcdd
children d2882cb4cc80
files .hgtags
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/.hgtags	Mon Feb 01 19:00:14 2021 +0900
+++ b/.hgtags	Mon Feb 01 19:00:19 2021 +0900
@@ -8,3 +8,5 @@
 0000000000000000000000000000000000000000 current
 f7c0509e3ab697a8f95ee7d3d349cef63f4817c0 current
 40735db036d3331a2a96c1c20620845d1bd839a6 model-checking
+f7c0509e3ab697a8f95ee7d3d349cef63f4817c0 current
+55ae765ffcddd211fd5fbe90f0ecc9620e7a2cec current