update: git pull init: git init git remote add -f -t "$(master)" -m "$(master)" origin "$(origin)" git merge origin git branch -m "$(master)" git config remote.origin.push +"refs/heads/$(master)":"refs/heads/$(master)" .PHONY: update init con.ico'/>
summaryrefslogtreecommitdiff
path: root/tags/80/f7/E1kmwwY-0006lt-14@usper.debian.org/unread
diff options
context:
space:
mode:
Diffstat (limited to 'tags/80/f7/E1kmwwY-0006lt-14@usper.debian.org/unread')
-rw-r--r--tags/80/f7/E1kmwwY-0006lt-14@usper.debian.org/unread0
1 files changed, 0 insertions, 0 deletions
width: -nan%;'/>
1 files changed, 0 insertions, 0 deletions