diff options
| author | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2020-06-18 20:22:20 +0200 |
|---|---|---|
| committer | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2020-06-18 20:22:20 +0200 |
| commit | fc14ad2db5304508285804dc6165f044546b590e (patch) | |
| tree | 660f3185db01a12f008d2b6631127ab326af0c96 /CMakeGUDHIVersion.txt | |
| parent | 4da6454bc876d5509de8fa62484389c4092e3623 (diff) | |
Code review: rename persistence pairs as persistence intervals
Diffstat (limited to 'CMakeGUDHIVersion.txt')
0 files changed, 0 insertions, 0 deletions