From df355137c82650f2a8f23ccf2c15d349c141c9e0 Mon Sep 17 00:00:00 2001 From: Michael Hashizume Date: Mon, 30 Oct 2023 14:35:33 -0700 Subject: [PATCH] (maint) Remove .project file .project files were once used for the long-defunct Geppetto. This commit removes an old .project file in the root of this project. --- .project | 23 ----------------------- 1 file changed, 23 deletions(-) delete mode 100644 .project diff --git a/.project b/.project deleted file mode 100644 index cd57eea09..000000000 --- a/.project +++ /dev/null @@ -1,23 +0,0 @@ - - - puppetlabs-puppet_agent - - - - - - com.puppetlabs.geppetto.pp.dsl.ui.modulefileBuilder - - - - - org.eclipse.xtext.ui.shared.xtextBuilder - - - - - - com.puppetlabs.geppetto.pp.dsl.ui.puppetNature - org.eclipse.xtext.ui.shared.xtextNature - -