ebcca3ec1548bdda0418a1b9ab0d69314596675a - gerrit/servertools/webtools.servertools.docs - Git at Google

commit: ebcca3ec1548bdda0418a1b9ab0d69314596675a
[log]
author: david_williams <david_williams>
Tue Nov 01 19:11:38 2005 +0000
committer: david_williams <david_williams>
Tue Nov 01 19:11:38 2005 +0000
tree: 0098b8cb28dba132edbcf6ca8d07237306129468
parent: 64575f7a9be16c51895b2211113149ccbd42711b [diff]

cvs ignore PDE generated artifacts

docs/org.eclipse.jst.server.ui.doc.user/.cvsignore[Added - diff]
docs/org.eclipse.jst.server.ui.infopop/.cvsignore[Added - diff]

2 files changed

tree: 0098b8cb28dba132edbcf6ca8d07237306129468

docs/