X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=src%2Fcategories;h=a0b31d2cc2b6cf7184efe4ff01ad682749f779ad;hp=18d94149267db9cf2e8e93977c5506278309173d;hb=ec8ee5cde986e5b38bcae38cda9e63eba94f1d9f;hpb=b096aab78240e38ff69c120367e65be60cbc54f5

diff --git a/src/categories b/src/categories
index 18d9414..a0b31d2 160000
--- a/src/categories
+++ b/src/categories
@@ -1 +1 @@
-Subproject commit 18d94149267db9cf2e8e93977c5506278309173d
+Subproject commit a0b31d2cc2b6cf7184efe4ff01ad682749f779ad