Mercurial > hg > Gears > GearsAgda
log
age | author | description |
---|---|---|
2017-11-21 | Tatsuki IHA | Fix segmentation fault of examples |
2017-11-21 | Tatsuki IHA | Fix goto implement method of generate_stub |
Loading... |
age | author | description |
---|---|---|
2017-11-21 | Tatsuki IHA | Fix segmentation fault of examples |
2017-11-21 | Tatsuki IHA | Fix goto implement method of generate_stub |
Loading... |