commit 33a5962fe62e62687216bbbf43f960242d77ab98 Author: Nathan Freitas <nathan@freitas.net> Date: Thu Feb 5 09:42:52 2015 -0500 add pluto for PT integration --- external/pluto | 1 + 1 file changed, 1 insertion(+) diff --git a/external/pluto b/external/pluto new file mode 160000 index 0000000..bb501fb --- /dev/null +++ b/external/pluto @@ -0,0 +1 @@ +Subproject commit bb501fbf5ff545ee04909214ade5e7c9ce935186