X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=src%2Fcategories;fp=src%2Fcategories;h=1104780d775bf36ff9f44ab287c22604ab47f0b5;hp=e928451c4c45cdbdd975bbfb229e8cc2616b8194;hb=64d416692bda1d36c33b5efa245d46dcf546ad4a;hpb=562e94b529f34fb3854be7914a49190c5243c55a

diff --git a/src/categories b/src/categories
index e928451..1104780 160000
--- a/src/categories
+++ b/src/categories
@@ -1 +1 @@
-Subproject commit e928451c4c45cdbdd975bbfb229e8cc2616b8194
+Subproject commit 1104780d775bf36ff9f44ab287c22604ab47f0b5