Mercurial > hg > Gears > GearsAgda
diff .hgignore @ 352:3e01e963eb2d
Fix compile error for calc example but not work
author | Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp> |
---|---|
date | Fri, 16 Jun 2017 16:29:27 +0900 |
parents | 9f8a87389b68 |
children |
author | Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp> |
---|---|
date | Fri, 16 Jun 2017 16:29:27 +0900 |
parents | 9f8a87389b68 |
children |