Removed IDE-related files
authorJeanderson Candido <jeandersonbc@gmail.com>
Mon, 18 Jun 2018 18:29:14 +0000 (15:29 -0300)
committerJeanderson Candido <jeandersonbc@gmail.com>
Mon, 18 Jun 2018 18:29:14 +0000 (15:29 -0300)
commit6b734c1aecd121c7fcaca98a99d43f34fedefdfa
tree9b7b359d371c3c524eeb7da52e8d38b8e371e911
parentc0c3ef2475f5c20378321e0dc2069744e1a63462
Removed IDE-related files
29 files changed:
.classpath [deleted file]
.idea/.name [deleted file]
.idea/annotations.iml [deleted file]
.idea/artifacts/RunJPF.xml [deleted file]
.idea/artifacts/jpf.xml [deleted file]
.idea/artifacts/jpf_annotations.xml [deleted file]
.idea/artifacts/jpf_classes.xml [deleted file]
.idea/classes.iml [deleted file]
.idea/codeStyleSettings.xml [deleted file]
.idea/compiler.xml [deleted file]
.idea/copyright/profiles_settings.xml [deleted file]
.idea/encodings.xml [deleted file]
.idea/examples.iml [deleted file]
.idea/main.iml [deleted file]
.idea/misc.xml [deleted file]
.idea/modules.xml [deleted file]
.idea/peers.iml [deleted file]
.idea/runConfigurations/run_example_jpf.xml [deleted file]
.idea/runConfigurations/run_test.xml [deleted file]
.idea/scopes/scope_settings.xml [deleted file]
.idea/tests.iml [deleted file]
.idea/vcs.xml [deleted file]
.project [deleted file]
eclipse/AntBuilder.launch [deleted file]
eclipse/run-JPF.launch [deleted file]
eclipse/test-JPF.launch [deleted file]
eclipse/update-JPF-siteproperties.launch [deleted file]
nbproject/ide-file-targets.xml [deleted file]
nbproject/project.xml [deleted file]