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

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