commit | c42c0b76c6e353bdf836138151b6ee6274a241a8 | [log] [tgz] |
---|---|---|
author | Jack Jansen <jack.jansen@cwi.nl> | Wed Oct 23 15:52:16 1996 +0000 |
committer | Jack Jansen <jack.jansen@cwi.nl> | Wed Oct 23 15:52:16 1996 +0000 |
tree | 1f5ab3d9ef573b966672462454df0098a4c2a4ee | |
parent | d2034c1a63a00a17049afc1986c869b5849cb70b [diff] |
Only copy project files from build* and plugins to the projects folder, leave other projects where they are