From: Gerald Gutierrez <ggmlfs@gmail.com>
Date: Tue, 18 Dec 2007 22:29:55 GMT
Subject: RE: git with custom diff for commits
Message-ID: <000e01c841c5$8c9e0c70$762a14ac@na.acco.com>
In-Reply-To: <vpqsl1zfz8r.fsf@bauges.imag.fr>

 
> if (user_redefined_changed)
>   if (user_defn_of_changed(work, head)) commit(work); else
>   if (builtin_changed(work, head)) commit(work);

That didn't come out quite right. It should be:

if (user_redefined_changed) {
  if (user_defn_of_changed(work, head)) { commit(work); }
} else {
  if (builtin_changed(work, head)) { commit(work); }
}