diff options
author | Sean Whitton <spwhitton@spwhitton.name> | 2018-04-16 09:07:33 -0700 |
---|---|---|
committer | Sean Whitton <spwhitton@spwhitton.name> | 2018-04-16 09:07:33 -0700 |
commit | 7019f7e0329b5f4ba6908045604692cd0e57a71d (patch) | |
tree | 1e871abd06bca81d666510d6b30dbec89786377a | |
parent | 1a22a6829c48776e8e8fffb87415c9eff709d047 (diff) | |
download | dotfiles-7019f7e0329b5f4ba6908045604692cd0e57a71d.tar.gz |
add dummy sync target
-rw-r--r-- | home-mrconfig | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/home-mrconfig b/home-mrconfig index 16c86b22..8fd8de77 100644 --- a/home-mrconfig +++ b/home-mrconfig @@ -433,6 +433,7 @@ log = : grep = : isclean = : autoci = : +sync = : # --- my personal documents. Override my global update command back # --- to the myrepos default so that git automatically pulls and |