Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3

2014-06-17 16:59:08 +01:00 · 2014-06-17 16:59:08 +01:00 · 50dea76186
commit 50dea76186
parent fea65ba68d af2194b21d
1 changed files with 1 additions and 1 deletions
--- a/packages/chr
+++ b/packages/chr
@ -1 +1 @@
-Subproject commit 1cbaebfaed6fa3126bd113680283900f37c8a90b
+Subproject commit 29dfc862dbbc97a55ab85685109d9f476fc67601