Mercurial > hg > Gears > GearsAgda
log
age | author | description |
---|---|---|
Wed, 19 Apr 2017 19:31:57 +0900 | Tatsuki IHA | Fix graffles |
Wed, 19 Apr 2017 18:57:10 +0900 | Tatsuki IHA | Close branch examples_directory |
Wed, 19 Apr 2017 18:56:01 +0900 | Tatsuki IHA | Merge |