| commit | 30b9cffb73d460cc63f01bdcab6fd009853bf2ac | |
| author | Sebastian Pop <seb@napoca.(none)> | |
| Wed, 20 Aug 2008 16:47:07 +0000 (20 11:47 -0500) | ||
| committer | Sebastian Pop <seb@napoca.(none)> | |
| Wed, 20 Aug 2008 16:47:07 +0000 (20 11:47 -0500) | ||
| tree | ba6581c4631cd2dcb54c147f7ac68bc7d3faaff2 | treesnapshot (tar.gz zip) |
| parent | e04ea54c7394e688dfaa3aaa41e616e1c8e6ba1a | commitdiff |
Expect PPL version 0.10.
A big part of the patch is from Roberto Bagnara <bagnara@cs.unipr.it>.
A big part of the patch is from Roberto Bagnara <bagnara@cs.unipr.it>.
| Makefile.am | diffblobblamehistory | |
| configure.in | diffblobblamehistory | |
| source/ppl/domain.c | diffblobblamehistory |