diff options
author | asteroide <thomas.duval@orange.com> | 2015-10-12 17:51:43 +0200 |
---|---|---|
committer | asteroide <thomas.duval@orange.com> | 2015-10-12 17:51:43 +0200 |
commit | 004cd2069974e4dfa9ef38c4387529aabcc9dfe3 (patch) | |
tree | bf95ebebea6c996ee9b1b0316f3c141f8f68aa71 /moon-abe/pbc-0.5.14/guru_poly_test-random.o | |
parent | 6273077bc9ea98c5e54d4f89a364dc403c13af1b (diff) |
Change the 'intraextension create' to 'intraextension add'.
Change-Id: I23932ce17e00044d87b8dcf2065571c0e82a7a30
Diffstat (limited to 'moon-abe/pbc-0.5.14/guru_poly_test-random.o')
0 files changed, 0 insertions, 0 deletions