Mercurial > hg > Gears > GearsAgda
diff doc/ChangeLog.txt @ 517:d595acd16550
Merge
author | Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp> |
---|---|
date | Thu, 04 Jan 2018 19:51:14 +0900 |
parents | 907c69e21e56 |
children |
author | Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp> |
---|---|
date | Thu, 04 Jan 2018 19:51:14 +0900 |
parents | 907c69e21e56 |
children |