Mercurial > hg > Gears > GearsAgda
diff Todo.txt @ 595:0927df986552
fix
author | ryokka |
---|---|
date | Thu, 16 Jan 2020 16:04:59 +0900 |
parents | 7bacba816277 |
children | 6a805c8c1e53 |
author | ryokka |
---|---|
date | Thu, 16 Jan 2020 16:04:59 +0900 |
parents | 7bacba816277 |
children | 6a805c8c1e53 |