diff options
| author | joey <joey@0fa5a96a-9a0e-0410-b3b2-a0fd24251071> | 2007-09-12 18:40:25 +0000 |
|---|---|---|
| committer | joey <joey@0fa5a96a-9a0e-0410-b3b2-a0fd24251071> | 2007-09-12 18:40:25 +0000 |
| commit | 2e5f4c50561e3b0317b602ac0bcafad206a8ec5c (patch) | |
| tree | e3144b6e4dc5c276bfee88b6311e6fdcd5665846 | |
| parent | 0c377f2975b6e75f7ee0c7168fea2a1b300d99d0 (diff) | |
web commit by UlrikSverdrup: minor: rm duplication
| -rw-r--r-- | doc/rcs/git/discussion.mdwn | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/doc/rcs/git/discussion.mdwn b/doc/rcs/git/discussion.mdwn index da162938a..fa66a77cd 100644 --- a/doc/rcs/git/discussion.mdwn +++ b/doc/rcs/git/discussion.mdwn @@ -15,10 +15,6 @@ Then, in my git repository, I added this `post-commit` hook to refresh the wiki: # to refresh when changes happen - #!/bin/sh - - # to refresh when changes happen - BASE="/path/to/base/dir" SETUPFILE="$BASE/ikiwiki.setup" UNDERLAYDIR="$BASE/underlay" |