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

2014-02-10 23:56:09 +00:00 · 2014-02-10 23:56:09 +00:00 · 8d624cda6b
parent bfc94cbbe5 bcde1666fb
commit 8d624cda6b
4 changed files with 4 additions and 4 deletions
--- a/packages/clib
+++ b/packages/clib
@ -1 +1 @@
-Subproject commit ab6b1a70db5dfaf6467b7d4ab51cfa76f1352d4c
+Subproject commit f9c9a5e10f84c2c0238a8338ef7ac3f93886c30d
--- a/packages/jpl
+++ b/packages/jpl
@ -1 +1 @@
-Subproject commit f96cfb7533c57789fa25db64b73c09aa7269d244
+Subproject commit e111442b428bcaac015d9545e42faf97df6b30f4
--- a/packages/pldoc
+++ b/packages/pldoc
@ -1 +1 @@
-Subproject commit 1e324d30b913edbe78cc4b923cde7998013cbfb0
+Subproject commit 34ef10c71d1577dcde1e5437949cc202638ed671
--- a/packages/real
+++ b/packages/real
@ -1 +1 @@
-Subproject commit 6235790ec8283ca65aefaed14f95a1749e744325
+Subproject commit e8360ba2db265175a3b469bc9d51aff5cfccabb0