100644 blob 4c0afce0b1682d9033db7fcdba2819b2e7021e8a	.gitignore
040000 tree c60da7a98e46a739cbe2fb01c346bcf1d9a28632	.settings
100644 blob d903baf5284b9e7013af43875226cf24cc709f71	BUILD
100644 blob 92bea1f31bbc9a845fd8eafc30125b24428b7206	README.md
100644 blob 9261d31337f190b67b3d98d48b48db9519bd3ac9	WORKSPACE
100644 blob e14e488492c9e7dcc1d3b65fedc0f65432e2855e	bazlets.bzl
100644 blob 43d72aa32e7be84e43db40c3d490163109845130	external_plugin_deps.bzl
040000 tree 26bdef433de1bb4abce8e138a14424cfe491b307	gr-delete-repo
100644 blob 138397d1ffed2b062a7d6597f3372ac44eca6fbf	plugin.html
040000 tree 093037e1ed4ea1608a6904c9d9f326f637c689d5	src
040000 tree 07c81ca370c318b3608cee275439299e7c67fdb0	tools