Mercurial > hg > Gears > GearsAgda
diff doc/DataSegment.graffle @ 357:4ae1eebccbd1
fix
author | mir3636 |
---|---|
date | Fri, 23 Jun 2017 17:55:23 +0900 |
parents | dad4a54b3f12 |
children |
author | mir3636 |
---|---|
date | Fri, 23 Jun 2017 17:55:23 +0900 |
parents | dad4a54b3f12 |
children |