comparison ARTS/.git/config @ 2:cc1685dd3190 draft default tip

Deleted selected files
author mmaiensc
date Wed, 13 Nov 2013 16:29:30 -0500
parents 2086dd919b31
children
comparison
equal deleted inserted replaced
1:2086dd919b31 2:cc1685dd3190
1 [core]
2 bare = false
3 repositoryformatversion = 0
4 filemode = true
5 logallrefupdates = true
6 ignorecase = true
7 [remote "origin"]
8 url = https://github.com/mmaiensc/ARTS.git
9 fetch = +refs/heads/*:refs/remotes/origin/*
10 [branch "master"]
11 remote = origin
12 merge = refs/heads/master