From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Fri, 25 Mar 2011 18:18:04 +0000 (-0700)
Subject: update categories submodule pointer
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;ds=sidebyside;h=68f1cdc7daa1e2d9ba9ff343ccf7ec51082a2255;hp=68f1cdc7daa1e2d9ba9ff343ccf7ec51082a2255;p=coq-hetmet.git

update categories submodule pointer
---