X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=src%2Fcategories;h=21607813788d83fb58ce128df442a4ee3edfbdaf;hp=a0b31d2cc2b6cf7184efe4ff01ad682749f779ad;hb=d1a4d10de986d774d3cfb10348036cb60bc80277;hpb=e83fd6f566ed0a7aaff19d67c2c2b64d08f98f7c

diff --git a/src/categories b/src/categories
index a0b31d2..2160781 160000
--- a/src/categories
+++ b/src/categories
@@ -1 +1 @@
-Subproject commit a0b31d2cc2b6cf7184efe4ff01ad682749f779ad
+Subproject commit 21607813788d83fb58ce128df442a4ee3edfbdaf