Mercurial > hg > Gears > GearsAgda
diff doc/DataSegment.graffle @ 473:71b634a5ed65
Merge
author | Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp> |
---|---|
date | Thu, 28 Dec 2017 11:55:59 +0900 |
parents | dad4a54b3f12 |
children |
author | Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp> |
---|---|
date | Thu, 28 Dec 2017 11:55:59 +0900 |
parents | dad4a54b3f12 |
children |