Mercurial > hg > Gears > Gears
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