Changeset 6995

Timestamp:

Jun 12, 2007, 6:01:02 AM (15 years ago)

Author:

hervebronnimann

Message:

Clean up generated files from the svn repository. They should be checked in
another area from time to time, when reaching milestones. For now, let
everyone keep their own copy. The README should explain how to generate the
files.

(No files)