Mercurial > hg > Gears > GearsAgda
diff .hgignore @ 209:5708390a9d88
fix compile errors
author | mir3636 |
---|---|
date | Wed, 21 Dec 2016 22:13:57 +0900 |
parents | f0c144c3861d |
children | 9f8a87389b68 |
author | mir3636 |
---|---|
date | Wed, 21 Dec 2016 22:13:57 +0900 |
parents | f0c144c3861d |
children | 9f8a87389b68 |