Re: [gambit-list] Separating generated files? (Re: Mercurial -> git)

"Nguyen Thai Ngoc Duy" [off-list ref] writes:

Hi Christian,

The idea of using two separate repositories for source and generated
source is interesting. I would like to bring this to git mailing list,
they may provide insightul comments for your idea or even other
approaches.

I think the first question is: do you (and why) need to use a version
control system for generated files?

-- 
Matthieu