Mercurial > hg > Members > Moririn
view .git/config @ 779:68904fdaab71
te
author | Moririn < Moririn@cr.ie.u-ryukyu.ac.jp> |
---|---|
date | Mon, 10 Jul 2023 19:59:14 +0900 |
parents | |
children |
line wrap: on
line source
[core] repositoryformatversion = 0 filemode = true bare = false logallrefupdates = true ignorecase = true precomposeunicode = true [remote "origin"] url = git@github.com:e205718/GearsAgda.git fetch = +refs/heads/*:refs/remotes/origin/* [branch "master"] remote = origin merge = refs/heads/master