Mercurial > hg > Gears > GearsAgda
diff .hgignore @ 833:9ec2b7f8e5a7
...
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Sat, 16 Mar 2024 17:33:57 +0900 |
parents | 9f8a87389b68 |
children |
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Sat, 16 Mar 2024 17:33:57 +0900 |
parents | 9f8a87389b68 |
children |