Mercurial > hg > Gears > GearsAgda

annotate .hgtags @ 490:ef965008bef1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Merge
author Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
date Fri, 29 Dec 2017 19:28:24 +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