From: Ben Pfaff Date: Mon, 8 Sep 2008 16:25:25 +0000 (-0700) Subject: Re-add extensions submodule that was accidentally dropped. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7949a13230b32d86386c157f895ee93db239d7df;p=openvswitch Re-add extensions submodule that was accidentally dropped. --- diff --git a/ext b/ext new file mode 160000 index 00000000..4cf18a51 --- /dev/null +++ b/ext @@ -0,0 +1 @@ +Subproject commit 4cf18a517a2663e945529a16e5d18e3b676c2687