diff options
| author | Yves Bertot | 2017-09-06 13:01:23 +0200 |
|---|---|---|
| committer | Yves Bertot | 2017-09-06 13:01:23 +0200 |
| commit | dc71c8b582552dcc1ea40af8a2894f7f0ec84597 (patch) | |
| tree | 9897d66d8e6e9bf666e555d1a5240df7f6e759d8 /dev | |
| parent | 2d137819572c4307b34bfdbdcf4ad0dc9ab240f3 (diff) | |
weakens an hypothesis of Rle_Rpower
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions