Mercurial > hg > Gears > GearsAgda

annotate .hgtags @ 770:a4bc901bba36

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
RBI record
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 08 May 2023 12:59:13 +0900
parents 92eef2161a87
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
129
c9be86f5a7b9 Added tag meta_code for changeset 53df6602530f
innparusu
parents:
diff changeset
1 53df6602530fe17950b97216492468e82c9741e5 meta_code
142
92eef2161a87 Added tag stack-interface for changeset 4f6a660c14a1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 129
diff changeset
2 4f6a660c14a1c64b5160fc17cf0102d6c30b372d stack-interface