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

2014-08-04 21:58:55 -05:00 · 2014-08-04 21:58:55 -05:00 · 070c976868
commit 070c976868
parent 5e73c6cd84 706784a61d
1 changed files with 1 additions and 1 deletions
--- a/packages/real
+++ b/packages/real
@ -1 +1 @@
-Subproject commit d26a510fad4375f0ca454b08536fe36f8f750083
+Subproject commit 8fce081eea0393bfcf831445cf8d6e15e647e63f