[GIT] ppl/ppl(master): Merge branch 'floating_point'
6 May
2011
6 May
'11
9:55 a.m.
Module: ppl/ppl Branch: master Commit: 50dc24772dc142eed06b6109672b3804e15a0804 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=50dc24772dc14...
Author: Fabio Bossi bossi@cs.unipr.it Date: Fri May 6 11:54:48 2011 +0200
Merge branch 'floating_point'
---
5177
Age (days ago)
5177
Last active (days ago)
0 comments
1 participants
participants (1)
-
Fabio Bossi