Mercurial > hg > Gears > GearsAgda
diff doc/Context.graffle @ 105:870453d5b096
Reduce warnings
author | Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> |
---|---|
date | Tue, 15 Mar 2016 11:57:46 +0900 |
parents | dad4a54b3f12 |
children |
author | Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> |
---|---|
date | Tue, 15 Mar 2016 11:57:46 +0900 |
parents | dad4a54b3f12 |
children |