Sign in
eclipse
/
gerrit
/
linuxtools
/
org.eclipse.linuxtools
/
5647d5beb6ca90397c798e4bbd0023d3669d115a
/
.
/
vagrant
/
org.eclipse.linuxtools.vagrant.ui
/
plugin.properties
blob: dbeac84b8c56ecce1c8b3f8dc996c745db957914 [
file
] [
log
] [
blame
]
VagrantCategory
.
name
=
Vagrant
VagrantBoxView
.
name
=
Vagrant
Boxes
VagrantVMView
.
name
=
Vagrant
VMs
VagrantPerspective
.
name
=
Vagrant
Tooling
