Mercurial > hg > Gears > GearsAgda
diff .hgignore @ 149:63ab65b28466
Add Gearef macro
author | one |
---|---|
date | Thu, 10 Nov 2016 20:37:52 +0900 |
parents | 547c23f3a898 |
children | f0c144c3861d |
author | one |
---|---|
date | Thu, 10 Nov 2016 20:37:52 +0900 |
parents | 547c23f3a898 |
children | f0c144c3861d |