Mercurial > hg > Gears > Gears
changeset 949:b5920eebb68a model-checking
Added tag current for changeset adb667597d61
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Mon, 08 Feb 2021 06:26:47 +0900 |
parents | adb667597d61 |
children | 05a5e00ca315 |
files | .hgtags |
diffstat | 1 files changed, 2 insertions(+), 0 deletions(-) [+] |
line wrap: on
line diff
--- a/.hgtags Mon Feb 08 06:26:29 2021 +0900 +++ b/.hgtags Mon Feb 08 06:26:47 2021 +0900 @@ -10,3 +10,5 @@ 40735db036d3331a2a96c1c20620845d1bd839a6 model-checking f7c0509e3ab697a8f95ee7d3d349cef63f4817c0 current 55ae765ffcddd211fd5fbe90f0ecc9620e7a2cec current +55ae765ffcddd211fd5fbe90f0ecc9620e7a2cec current +adb667597d611705db707b350a47ba2ceb0783c6 current